Shell script for converting videos to gifs