Added sebastians public-ssh-key to ci/jenkins