Make GIF from videos via MPlayer and ImageMagick.