Very simple video-to-GIF converter. Written in Bash and using ffmpef and ImageMagick