CompilationUnit for Tools like print-helpers and similar stuff.
Verbosity: now two cli-switches: -v and -vv. Rest of code changed accordingly.

Additional changes: verbose-printers in tools.ml now have
optional argument "optflag", which can be set, to allow
verbose-printing in dependency of other flag's state.