How to add additional SSH keys to CircleCI