RFR: 8348401: [IR Framework] PrintTimes should not require verbose [v2]

[Theo Weidmann]

> The flag -DPrintTimes=true currently only prints the measured execution time if -DVerbose=true is also used. This patch removes the dependency on -DVerbose=true. 
> 
> The measurements are made by the test vm (the VM spawned by the IR framework), which tries to print it to stdout. Since the stdout of the test VM is hidden unless the Verbose or ReportStdout flag are used, the printed times are not visible without these flags. 
> 
> This patch addresses this by using the TestFrameworkSocket, which is used by the parent jtreg VM and the test VM to communicate. By sending the prints through the TestFrameworkSocket with the parameter stdout set to true, the parent VM will print the received messages to its stdout, making it visible to the user.
> 
> Example command:
> 
> 
> jtreg -jdk:build/fastdeb/jdk -verbose:all -vmoptions:"-DPrintTimes=true"
> 
> 
> Example output:
> 
> 
> Messages from Test VM
> ---------------------
> [PRINT_TIMES] testIntArrayRunner:             66530333 ns
> [PRINT_TIMES] testShortArrayRunner:          108031125 ns
> [PRINT_TIMES] testLongArrayRunner:           159549917 ns
> [PRINT_TIMES] testByteArrayRunner:           201181042 ns

Theo Weidmann 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:

 - Merge branch 'master' into 8348401-fix-print-times
 - Add tag
 - Update TestVM.java
 - Update TestVM.java

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/23267/files
  - new: https://git.openjdk.org/jdk/pull/23267/files/cca456a8..f5ddcd59

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=23267&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=23267&range=00-01

  Stats: 820 lines in 37 files changed: 404 ins; 247 del; 169 mod
  Patch: https://git.openjdk.org/jdk/pull/23267.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/23267/head:pull/23267

PR: https://git.openjdk.org/jdk/pull/23267