Merge branch 'develop' into 'master'

Develop

See merge request fg-bks/br-verification-tool!20

.gitlab-ci.yml

@@ -61,6 +61,6 @@ deploy:
   image: busybox:latest
   stage: deploy
   script:
-    - 'mvn $MAVEN_CLI_OPTS tomcat:redeploy'
+    - mvn $MAVEN_CLI_OPTS clean tomcat7:undeploy tomcat7:deploy
   only:
     - master

dmn-verifier-app/pom.xml

@@ -170,7 +170,7 @@
         <configuration>
           <url>http://inconsistency.fg-bks.uni-koblenz.de:8090/manager/text</url>
           <server>TomcatServer</server>
-          <path>/ROOT</path>
+          <path>/${build.name}</path>
           <update>true</update>
         </configuration>
       </plugin>