Updating server list and ssh-config files

Not sure if we really want to maintain all of these...