Add ability to manage HashKnownHosts in ssh_config