Convert terminal recordings to animated gifs