JSON 格式化

美化、压缩、校验 JSON，报错时给出出错位置。