SQL压缩、格式化工具