implement procedure to handle multiple deploy keys

see https://firmhouse.com/blog/configuring-multiple-private-ssh-deploy-keys-in-jenkins-for-github-com