Jenkinsfile: Use Tycho 4.0.13 way to display api tools warnings#1706

HannesWell merged 1 commit intoeclipse-pde:mastereclipse-pde/eclipse.pde:masterfrom

sratz:apitoolssratz/eclipse.pde:apitoolsCopy head branch name to clipboard