MP4→GIF

Turn a MP4 clip into an animated GIF — pick the range, frame rate and size.