New command `make-ssh-known-hosts` to collect SSH public keys in a format usable for creating `ssh_known_hosts` files.