added libexec/update-ssh-known-hosts

added this script. We've been using it for long, but it had not been
committed before.