Modify the Jenkinsfile to account for more simple tool names in the new trusted.ci
Modify the Jenkinsfile to account for more simple tool names in the new trusted.ci

Simpler names == easier to get right. Yey

daniel-beck/ircbot,oleg-nenashev/ircbot,jenkins-infra/ircbot