Tool to convert video files to sets of gifs.