output: add a "summary" output
This is a small and minimal output to display some information without
overwhelming the user with a wall of text.
Example output:
Files: 89 known: 40 ( 44%) directories: 11 fully-known: 3 ( 27%) partially-known: 0 ( 0%)
It can most probably be improved, but this can come later.