ttygif converts ttyrec files to gifs