[crac] RFR: 8373687: [CRaC] Add metrics through jcmd [v4]

[Radim Vansa]

> Enable user adding custom metrics (and labels) through jcmd JDK.checkpoint command, e.g. using
> 
> jcmd <pid> JDK.checkpoint metrics=foo=123,bar=0.456

Radim Vansa has updated the pull request incrementally with two additional commits since the last revision:

 - Try other header includes on MacOS
 - Add strsep for Windows

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

Changes:
  - all: https://git.openjdk.org/crac/pull/281/files
  - new: https://git.openjdk.org/crac/pull/281/files/b1ce4f41..ccab9aed

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=crac&pr=281&range=03
 - incr: https://webrevs.openjdk.org/?repo=crac&pr=281&range=02-03

  Stats: 19 lines in 2 files changed: 19 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/crac/pull/281.diff
  Fetch: git fetch https://git.openjdk.org/crac.git pull/281/head:pull/281

PR: https://git.openjdk.org/crac/pull/281