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

sratz merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform:masterfrom

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