RFR: 8282493: Add --with-jcov-modules convenience option

[Sergey Bylokhov]

On Mon, 7 Apr 2025 08:45:13 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> 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.

Description of the new option can be added to [testing.md](https://github.com/openjdk/jdk/blob/128f2d1cadae3cf91e4c590e6dabe2086737b7dd/doc/testing.md?plain=1#L339).

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

PR Comment: https://git.openjdk.org/jdk/pull/24481#issuecomment-2817790547