Adding an SSH key to CircleCI