基于gif4j编写的gif批量格式化工具，可视化设置源文件路径和目标文件的宽高即可批量格式化gif宽高。