devguide: add section on generating code coverage reports locally
PR reports will report changes done to Suri, but not the impact of new SV tests, for instance. Not before
those have been merged.
Generating these locally, thus, is useful in order to know whether certain contributions expected to
increase coverage are actually doing that.
No data to display