RFR: 7903889: jcstress: document used properites (and env variables) [v6]

[Jiří Vaněk]

> The purpose of this PR is to move properties and properties based initializations to single place, and to document them, and to enable printing the listing with the documentation via help.
> 
> No Env. vars were found.
> 
> The verbose help can be removed, the individual properties with defaults are wrapped to its class. The OptionSpec and OptionFormatter can be used if needed

Jiří Vaněk 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:

 - Moved declaration of individual proeprties to ceparate classes by family
 - Extracted properties encapsualted in objects
 - Removed autoformatted whitespaces
 - 7903889: jcstress: document used properites (and env variables)
   
   Known properties unifed in one class and printed in verbose help:
   The verbose help can be removed, the individual properties with defaults
   can be wrapped to its class. Even the OptionSpec and OptionFormatter can
   be used if needed

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

Changes:
  - all: https://git.openjdk.org/jcstress/pull/156/files
  - new: https://git.openjdk.org/jcstress/pull/156/files/cf4d4125..9702a5b9

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

  Stats: 5331 lines in 116 files changed: 3978 ins; 1239 del; 114 mod
  Patch: https://git.openjdk.org/jcstress/pull/156.diff
  Fetch: git fetch https://git.openjdk.org/jcstress.git pull/156/head:pull/156

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