Ttygif converts a ttyrec file into animated gif (need a X11 terminal).