RFR: CODETOOLS-7902962: jcstress: Print merged results at the end of the run [v2]

[Aleksey Shipilev]

> It makes little sense to print the per-configuration results at the end of the run, when the run itself prints it. We are better off printing the merged results across all configurations.

Aleksey Shipilev has updated the pull request incrementally with one additional commit since the last revision:

  Renames

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

Changes:
  - all: https://git.openjdk.java.net/jcstress/pull/67/files
  - new: https://git.openjdk.java.net/jcstress/pull/67/files/24b50a92..c2eeefdf

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jcstress&pr=67&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jcstress&pr=67&range=00-01

  Stats: 8 lines in 1 file changed: 0 ins; 2 del; 6 mod
  Patch: https://git.openjdk.java.net/jcstress/pull/67.diff
  Fetch: git fetch https://git.openjdk.java.net/jcstress pull/67/head:pull/67

PR: https://git.openjdk.java.net/jcstress/pull/67