JSON 压缩

移除 JSON 中多余空白，生成紧凑字符串。