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.