package: adapt to Corrade Jenkins CI changes.
Merge branch 'master' into compatibility

Conflicts:
	package/ci/jenkins.xml