Export videos as animated GIFs

Now you can export animated GIFs from your edited video files!