Add make_known_hosts.sh.