Add progress report to coverage generation

[louismerlin]

Target output could be redirected to a log file, while the CLI output could show some kind of progress report.