JSON 格式化

格式化、压缩、校验 JSON。语法错误会指出具体位置。