格式化Json的小工具。可以把Josn加上转义符、把带转义符的Josn去掉转义,把Json压缩成一行等。