Jenkins: Updates to newest ces-build-lib.
Jenkins: Updates to newest ces-build-lib.

Fixes silent failure of build when tool is not installed on agent.
We had missed setting the checkbox for auto install of JDK which
resulted in JavaDoc not running.

triologygmbh/versionName