Com o ffmpeg:
ffmpeg -i video.mp4 imagem.gif
Provavelmente também funciona com outros formatos de vídeo.
