There should be some easy free mp4 to GIF converter on the internet. Something like cloudconvert.com