make-ssh-known-hosts: Add IP addresses to host alias list in SSH "known hosts" file.