RFR: 8263636: Add --disableregistry option to jhsdb debugd [v2]

[Yasumasa Suenaga]

> `jhsdb debugd` will start RMI registry by default, but we want to prevent it due to port confliction in some cases. We can control it with `sun.jvm.hotspot.rmi.startRegistry` system property. However we have no way to set it excepting system property. jhsdb should provide the way to set it as a command line option.
> 
> This PR introduces `--disableregistry` to `jhsdb debugd`. Please review [CSR](https://bugs.openjdk.java.net/browse/JDK-8264021) too.

Yasumasa Suenaga has updated the pull request incrementally with one additional commit since the last revision:

  Fix comments

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/3233/files
  - new: https://git.openjdk.java.net/jdk/pull/3233/files/c09b2177..02d2b259

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

  Stats: 11 lines in 4 files changed: 2 ins; 5 del; 4 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3233.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3233/head:pull/3233

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