Convert any video file to an optimized animated GIF.