Use ssh-agent to ensure that git uses the appropriate key to push the repo; resolves #2