XML格式化,压缩