Merge branch 'master' of git.scc.kit.edu:xt9634/ProofScriptParser

* 'master' of git.scc.kit.edu:xt9634/ProofScriptParser:
  First footsteps towards interactive mode
  interim
  interim
  better branching labels
6 jobs for master in 10 minutes and 20 seconds (queued for 7 minutes and 15 seconds)
Status Job ID Name Coverage
  Setup
passed #22597
setup

00:00:45

 
  Build
passed #22598
build

00:01:08

 
  Test
passed #22599
test

00:01:28

 
  Deploy
passed #22600
deploy

00:02:32

failed #22602
allowed to fail
site

00:00:22

passed #22601
sonar

00:04:03

 
Name Stage Failure
failed
site Deploy There is an unknown failure, please try again
7910 [INFO] ------------------------------------------------------------------------
7914 [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 (https://repo.maven.apache.org/maven2) -> [Help 1]
7915 [ERROR]
7915 [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
7915 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
7915 [ERROR]
7915 [ERROR] For more information about the errors and possible solutions, please read the following articles:
7915 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
ERROR: Job failed: exit code 1