known_hosts downloader/merger for OpenSSH