JSON 格式化

格式化、压缩与校验 JSON。解析失败时会指出出错的行号与列号，方便定位。