More complete/efficient JSON string escaping.