Rename Jenkinsfile

Jenkinsfile

-node {
-  def mvnHome
-
-  stage('Preparation') {
-    mvnHome = tool 'Maven 3.5.0'
-    checkout scm
-}
-
-  stage('Build') {
-    sh "'${mvnHome}/bin/mvn' -U clean deploy -Pdhrep.deb"
-  }
-
-  stage('Publish') {
-    def pom = readMavenPom file: 'oaipmh-webapp/pom.xml'
-    def pName = pom.artifactId
-    def pVersion = pom.parent.version
-    def snapshot = pVersion.contains("SNAPSHOT")
-
-    if (snapshot) {
-        doDebSnapshot(pName, 'oaipmh-webapp/target', pVersion)
-    }
-    else {
-        doDebRelease(pName, 'oaipmh-webapp/target', pVersion)
-    }
-  }
-}