Reporting framework

All messages are now routed to a reporting framework which decides to display them or not, depending on the desired verbosity level. A new 'quiet' option has been added to cope with the extended range of verbosity levels.

This framework is to be extended to allow for logging information to files.