configure the global ssh_config

Sets some hostnames in the global ssh_config