视频转GIF

将视频文件转换为动画GIF