implemented `DisplayProof`-Route
some breaking changes
added new modules from master-branch
fixed `Presenter.Processing
fixed `Presenter.StarExec.Connection`