maint: provide no list of grcov formats

This commit removes a list we provide for the supported grcov formats. In my opinion, this is a practice of bad software engineering, as we would then have to maintain this list by ourselves.

Therefore, this commit removes this list from the maint/with_coverage script and replaces it with a references to the accompanying grcov command.