这3个gif压缩工具简单好用,还支持批量压缩!