Check installed tools at once, fix #1046
Merge branch 'issue1046' of github.com:bjoernd/genode into issue1046