JSON压缩工具

去掉空白字符，输出紧凑 JSON 字符串。