format output in a more unix-like way

[lorenzo-dev1]

the output should first contain high-level statistics, and then maybe a set of files with the detailed info (e.g., the list of verified files, etc.)