This is intended to work with the `ssh-mgmt` scripts. Maybe its better to move this there? Maybe not?
This now permits simpler installation and setup of my environment, when the core configuration is stored at `~/cshenv`. If stored elsewhere, the file would have to be edited. I'll think up an automatic solution to this later.
