Convert MP4 video file into a GIF, using ffmpeg and ImageMagick.