Generator for animated GIFs out of image sequences