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

[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 incrementally with one additional commit since the last revision:

  Add missing \

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/24481/files
  - new: https://git.openjdk.org/jdk/pull/24481/files/c44f7143..af3e04b0

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

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 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