JSON 格式化

贴入 JSON，格式化、压缩、校验；语法错误定位到行列。