Use Maven Central metadata for version resolution, add CodeQL dispatch trigger

Author: tortmayr

Jenkinsfile

@@ -67,7 +67,7 @@ pipeline {
             steps {
                 container('ci') {
                     sh '''
-                        MAVEN_VERSION=$(curl -sf "https://repo1.maven.org/maven2/org/apache/maven/apache-maven/maven-metadata.xml" | awk -F '[<>]' '/<version>3\\.[0-9]+\\.[0-9]+</{v=$3} END{print v}')
+                        MAVEN_VERSION=$(curl -sf "https://dlcdn.apache.org/maven/maven-3/" | grep -o 'href="[0-9][^"]*"' | tr -dc '0-9.')
                         curl -o maven.tar.gz -L "https://dlcdn.apache.org/maven/maven-3/${MAVEN_VERSION}/binaries/apache-maven-${MAVEN_VERSION}-bin.tar.gz"
                         tar -xzf maven.tar.gz -C ${WORKSPACE}
                         rm -f maven.tar.gz