RFR: 7903774: make all tests combinations printing nicer and/or configurable [v7]

[Jiří Vaněk]

> This is still WIP, but already on row what [CODETOOLS-7903774](https://bugs.openjdk.org/browse/CODETOOLS-7903774) suggested.
> 
> It will be finished once all desired output combinations are included, but already now is doing the usage of listing much more comfortable and code readable.
> 
> From:
> 
> `TESTS` - as introduced by https://github.com/openjdk/jcstress/pull/149
> `COMBINATIONS` - as introduced in https://github.com/openjdk/jcstress/pull/149 verbose mode (thus surpassing the `-v` impact
> `ALL_TESTS` - all tests as it was before https://github.com/openjdk/jcstress/pull/149
> `COMBINATIONS_GROUPED ` - as suggested in https://github.com/openjdk/jcstress/pull/149#discussion_r1668678910
> `COMBINATIONS_JSON` same as combinations, but a valid json
> `COMBINATIONS_GROUPS` same as COMBINATIONS_GROUPED only instead of enumeration in each group, only count of members will be printed 
> 
> 
> * TESTS are already implemented as ALL_MATCHING
> * COMBINATIONS as ALL_MATCHING_COMBINATIONS
> * ALL_TESTS as ALL
> 
> COMBINATIONS_GROUPED, and COMBINATIONS_GROUPS are under development.
> The _JSON variants are tobe decided, but ability to JQL it sounds nice.
> 
> Suggestion to better names welcomed.

Jiří Vaněk has refreshed the contents of this pull request, and previous commits have been removed. The incremental views will show differences compared to the previous content of the PR. The pull request contains one new commit since the last revision:

  Implemented naive json formatting
  
  To cut away the header one can use: | sed '0,/^All.*[0-9]\+$/d'

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

Changes:
  - all: https://git.openjdk.org/jcstress/pull/153/files
  - new: https://git.openjdk.org/jcstress/pull/153/files/0219ab93..60bbb3e8

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jcstress&pr=153&range=06
 - incr: https://webrevs.openjdk.org/?repo=jcstress&pr=153&range=05-06

  Stats: 0 lines in 0 files changed: 0 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/jcstress/pull/153.diff
  Fetch: git fetch https://git.openjdk.org/jcstress.git pull/153/head:pull/153

PR: https://git.openjdk.org/jcstress/pull/153