Easily create animated GIFs from video files using ffmpeg