RFR: 8263635: Add --servername option to jhsdb debugd [v5]

[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 RMI 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.
> 
> serverNamePrefix is used for RMI object name, so "server name" is more suitable for it. Thus I will add `--servername` to `jhsdb debugd` for this purpose.
> And also we should add the way to specify it when we connect to debug server. I will add it like `--connect id at server:1234/servername`.
> 
> 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 incrementally with one additional commit since the last revision:

  Fix typo

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/3669/files
  - new: https://git.openjdk.java.net/jdk/pull/3669/files/1315dc56..19d1f565

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

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 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