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

* 'extendedState' of git.scc.kit.edu:xt9634/ProofScriptParser:
  Dual Pivot Quicksort Example
  Agatha Example
3 jobs for extendedState in 2 minutes and 2 seconds (queued for 1 second)