RFR: 8263636: Add --disable-registry option to jhsdb debugd [v5]

[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:

  Rename --disableregistry to --disable-registry

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/3233/files
  - new: https://git.openjdk.java.net/jdk/pull/3233/files/adadf240..87d3639a

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

  Stats: 5 lines in 3 files changed: 0 ins; 0 del; 5 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