A program based on ffmpeg and convert from ImageMagick which can convert a video sequence into an animated gif