An app to convert video files to gifs