Prova anche a vedere se questa funzione di VLC ti possa essere utile.
Da quanto ho capito puoi dirgli di salvare un frame ogni tot, se sai il framerate e la durata dei video puoi dargli un passo adeguato per avere il giusto numero di frame per poi creare una gif animata.