small script that wraps ssh-keygen -R to remove both the hostname and IP address from ~/.ssh/known_hosts