Convert ttyrec files to animated gifs