Easier to read coverage reports

Adds a script to highlight the important information of the coverage
report runs. It also adds a short summary at the end with the relevant
figures. It should make coverage reports easier to read.