Video to GIF

Turn a whole video, or just a piece of it, into an animated GIF.