local
Merge branch 'master' of github.com:stefanvonderkrone/star-exec-presenter
Merge branch 'master' of github.com:stefanvonderkrone/star-exec-presenter
Merge branch 'master' of github.com:stefanvonderkrone/star-exec-presenter
Merge branch 'master' of github.com:stefanvonderkrone/star-exec-presenter
Merge branch 'master' of github.com:stefanvonderkrone/star-exec-presenter
Merge branch 'master' of github.com:stefanvonderkrone/star-exec-presenter
aprove ids
Merge branch 'master' of github.com:stefanvonderkrone/star-exec-presenter

Conflicts:
	Control/Job.hs
more benchmarks