RFR: 8282493: Add --with-jcov-modules convenience option [v2]

[Magnus Ihse Bursie]

> Allow the user to set "--with-jcov-modules=java.desktop", instead of "--with-jcov-filters=--include-modules java.desktop", since this is one of the common use cases for the filtering.

Magnus Ihse Bursie has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains four additional commits since the last revision:

 - Merge branch 'master' into with-jcov-modules
 - Also fix RepGen
 - Update with correct syntax + debug support
 - 8282493: Add --with-jcov-modules convenience option

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/24481/files
  - new: https://git.openjdk.org/jdk/pull/24481/files/01b97343..bdd55156

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=24481&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=24481&range=00-01

  Stats: 302887 lines in 2843 files changed: 94350 ins; 197756 del; 10781 mod
  Patch: https://git.openjdk.org/jdk/pull/24481.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/24481/head:pull/24481

PR: https://git.openjdk.org/jdk/pull/24481