Flash动画文件优化工具,用于压缩flash。