Con el spanisDUB abres el video y le das en Archivo\Guardar secuencia de imágenes... (lo estoy diciendo de memoria pero más o menos) y las guaradas como bmp. Hay una opción para que el nombre de las imágenes tengan siempre la misma longitud, ponle un número, por ejemplo 5.
Despues usa cualquier programa de edición de gifs, como el GIF Movie Gear que es gratuito.
