kaffeine può salvare singoli fotogrammi di un filmato avi in bmp o png, poi con qualsiasi visualizzatore si possono trasformare in gif.

ffmpeg trasforma da avi in mpeg (almeno mi pare)