Update Jenkinsfile#18

adamjohnwright wants to merge 2 commits intomainreactome/release-update-stable-ids:mainfrom

deploy-ci-dockerreactome/release-update-stable-ids:deploy-ci-dockerCopy head branch name to clipboard