some new TODOs
Merge branch 'master' of https://github.com/stefanvonderkrone/star-exec-presenter
added polynomial detection for SolverResults with "YES" (testing)
added a function in `ShowManyJobResults` to shorten the names of benchmarks to a maximum of 50 chars
small bug-fix in solver-result-parsing
implemented better parser for html-proofs
updated TODOs
updated TODOs