ttyrec2gif