视频转 GIF

将一个视频文件转换为具有不同参数的多个 GIF 变体，以便用户可以直观地比较并选择最佳的一个。