Use the new 5.4 json_encode flag JSON_UNESCAPED_SLASHES

Use the new 5.4 json_encode flag JSON_UNESCAPED_SLASHES to slightly improve performance.