JSON escaping

Also written: json spotlighting

A spotlighting method that wraps untrusted text in a JSON string so quotes and tags inside it are escaped and can't break out.