Add little script to convert mkv files to gifs