ttygif converts a ttyrec file into gif files. It's a stripped down
version of ttyplay which calls xwd on every frame.
NOTE: ttyrec is also available from SBo