maint: permit the format specification in coverage
Currently, generating a coverage report that is not HTML, is a somewhat
tedious task, as it requires the caller to invoke the
maint/with_coverage
script, which is a rather cumbersome task to do.
This commit adds a -f
option to the maint/coverage
script, that
allows the manual specification of a grcov output format.