add a $HOME/.ssh/config parser to populate the *ssh-hosts* variable. This
variable is used by the #'ssh function.
handles prefix change correctly now. (XXX only 10 LOC left now!)
safer and more simple *prefix* handling