refactored `DisplayProofR`
Merge branch 'master' of https://github.com/stefanvonderkrone/star-exec-presenter
added meta-widget for auto-refresh, if there are queries to star-exec