一款支持将视频批量生成gif的相关程序，可支持多种设置。