adding github.com's ssh key to known_hosts again