Publish build results from Jenkins to GitHub

This initial step is just about how to get the results (e.g. compiler
warnings) to GitHub. In a later stage, those can the be further
configured to have the build fail if it would introduce additional
warnings.

Jenkinsfile

@@ -98,6 +98,7 @@ BRANCH_NAME=${env.BRANCH_NAME}
   post {
     always {
       junit allowEmptyResults: true, testResults: '**/target/surefire-reports/*.xml'
+      discoverGitReferenceBuild referenceJob: 'build-classic/master'
       recordIssues publishAllIssues: true, tools: [java(), mavenConsole(), javaDoc()]
     }