Extract gifs from videos using FFmpeg and ImageMagick.