json_escape: new module to escape JSON strings.