Video to GIF

Turn a short video clip into an animated GIF.