sshconfig: updated version without proxy commands and some kerberos auth stuff