A CLI tool for extracting animated GIFs from videos, using FFmpeg and ImageMagick