JSON格式化工具

1. 支持对结果进行折叠显示
2. 支持主题、字体选择
3. 支持数据统计，能统计文件行数、长度
4. 支持单独打开JSON格式化页面，可以对JSON进行压缩、转义等操作