add json_encode options

with those options, json is correctly saved (like numeric values or slashes)