Add SSHConfig.get_hostnames(), which returns hostnames defined in the SSH config.