Ffmpeg can output a gif. The only difficult part might be figuring out which options you need to get the quality you want.