Add public keys for a host to a user's SSH known hosts files