A GIF generator for YouTube videos