Merge branch 'LulusSequentMatcher' into 'master'

Lulus sequent matcher

See merge request !5
6 jobs for master in 10 minutes and 47 seconds (queued for 2 seconds)
Name Stage Failure
site Deploy There is an unknown failure, please try again
7193 [INFO] ------------------------------------------------------------------------
7196 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-site-plugin:3.3:site (default-cli) on project psdbg: failed to get report for org.apache.maven.plugins:maven-javadoc-plugin: Failed to execute goal on project matcher: Could not resolve dependencies for project edu.kit.iti.formal.psdbg:matcher:jar:0.1-SNAPSHOT: Could not find artifact edu.kit.iti.formal.psdbg:keydeps:jar:1.0 in central ( -> [Help 1]
7196 [ERROR]
7196 [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
7196 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
7196 [ERROR]
7196 [ERROR] For more information about the errors and possible solutions, please read the following articles:
7197 [ERROR] [Help 1]
ERROR: Job failed: exit code 1