Tools for review

It seems that this pull request still contain the other commit for semantic reviews, I don't know how to get rid of that. 
Anyway, I created semantics reviews first in a single commit and request.
This one, you can only look at commit: tools changes for review and verbose= (somehow it was accidentally left out yesterday)