This is stuff to set up a vsh/tcsh integration.

Steve Kinzler, kinzler@cs.indiana.edu, Oct 90
