Messages that no coverage data has been found should be optional

Oftentimes I don't have coverage data for all my source files. That causes that after every test run, when the coverage file is updated, the `*Messages*` buffer gets flooded with messages like `No coverage data found for …` and `Updating coverage for …`.

I would like to switch of these messages. The `Updating coverage for …` IMHO could go entirely.