SWF优化工具,可优化扩展名为swf的动画