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