Add an ugly, krufty .tcshrc because the SysAdmins have decreed that I must use
csh or tcsh, and they will not install bash.