RFR: 8263635: Add --prefix option to jhsdb debugd [v2]

[Yasumasa Suenaga]

> `jhsdb debugd` supports server name prefix with `sun.jvm.hotspot.rmi.serverNamePrefix` system property. It will be used as remote name for SA remote object. It is "SARemoteDebugger" by default.
> 
> As a result, remote name will be constructed as following:
> 
> 
> //host[:port]/<serverNamePrefix>['_'<id>]
> 
> 
> However we have no way to set it excepting system property. jhsdb should provide the way to set it as a command line option. And also we should add the way to specify the prefix when we connect to debug server. I will add it like `--connect id at server:1234/prefix`.
> 
> I've also filed [CSR for this PR](https://bugs.openjdk.java.net/browse/JDK-8265897). Please review it.
> This PR modifies DisableRegistryTest.java, but it has been addressed in ProblemList-zgc.txt now. So this PR does not affect ZGC.

Yasumasa Suenaga 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:

 - Update jhsdb man page
 - Merge remote-tracking branch 'upstream/master' into JDK-8263635
 - Update help message
 - 8263635: Add --prefix option to jhsdb debugd

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/3669/files
  - new: https://git.openjdk.java.net/jdk/pull/3669/files/90a9d014..af154a77

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

  Stats: 512695 lines in 4306 files changed: 25267 ins; 478859 del; 8569 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3669.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3669/head:pull/3669

PR: https://git.openjdk.java.net/jdk/pull/3669