Usage: Record a terminal session with "ttyrec <filename>". Terminate with Ctrl-D Run "ttygif <filename>" to generate a gif animation.