Configure ssh to send the github key to github.com without bothering with ssh-agent