GIF录制工具+GIF动画压缩工具