JSON 格式化工具

重构版：双栏编辑器、输入输出行号、格式化/压缩、复制与粘贴。