Convert videos to gifs using ffmpeg and gifsicle