A small utility for creating gifs from video files