Merge branch 'feature-gitlab-ci' into 'develop'

.gitlab-ci.yml

dmn-verifier-app/pom.xml

...java/de/unikoblenz/fgbks/base/wordnet/WordnetService.java

...java/de/unikoblenz/fgbks/dmn/core/dmnhelper/Boundary.java

...va/de/unikoblenz/fgbks/dmn/core/dmnhelper/DmnRuleMap.java

.../unikoblenz/fgbks/dmn/core/models/VerificationResult.java

.../unikoblenz/fgbks/dmn/core/verifier/AbstractVerifier.java

...nikoblenz/fgbks/dmn/core/verifier/EquivalentVerifier.java

...unikoblenz/fgbks/dmn/core/verifier/IdenticalVerifier.java

...ikoblenz/fgbks/dmn/core/verifier/OverlappingVerifier.java

...enz/fgbks/dmn/core/verifier/PartialReductionVerifier.java

...ikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java

...core/verifier/multitable/MultiTableIdenticalVerifier.java

...re/verifier/multitable/MultiTableOverlappingVerifier.java

...rifier/multitable/MultiTablePartialReductionVerifier.java

...re/verifier/multitable/MultiTableSubsumptionVerifier.java