Making ssh-add optional (pending existence of GitHub RSA).