ho usato photoshop cs6... apri o importi il video (ti conviene importarlo già tagliato), poi fai "salva per web", metti GIF, dimensioni 30-40%, riduci un pò il dithering, aumenti un pò "lossy" (tipo 10%), selezioni il tasto per il loop e salvi dove vuoi