GitLab

* but PositionTable is incompatible

* Facade instances into MatcherImpl
* Simpler Implementation
* Ordering of Matchings
* Catch anonymous (not bounded) matches

* 'master' of git.scc.kit.edu:xt9634/ProofScriptParser:
  BUGFIX IndexOutOfRange+NullPointerExc
  merge
  Bugfix for emptyMatch on sequent

* small bug fixes

# Conflicts:
#	src/main/java/edu/kit/formal/psdb/termmatcher/MatcherImpl.java

Interim state: some minor modifications at DebuggerMain and first part of semiseq matching, next part follows tomorrow

# Conflicts:
#	src/main/java/edu/kit/formal/psdb/gui/controller/DebuggerMain.java
#	src/main/java/edu/kit/formal/psdb/interpreter/graphs/ProofTreeController.java

* 'master' of git.scc.kit.edu:xt9634/ProofScriptParser:
  minor enhancement for progressbar+ dummy grammar for matchpattern (not finished)

now Term<KeyType> ist possible!