A couple of functions to generate animated gifs, webvideo and sprite-maps from a video-file