Merge branch 'develop' into 'master'

...ava/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java

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

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

...e/unikoblenz/fgbks/dmn/core/verifier/MissingVerifier.java

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

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

...ore/verifier/multitable/MultiTableEquivalentVerifier.java

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

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

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

dmn-verifier-app/src/main/webapp/index.xhtml