RFR: JDK-8274211: Test man page that options are documented [v2]

[Jonathan Gibbons]

> Please review a new test to compare the set of options documented in the javadoc man page against the set of options declared in the source.
> 
> Since there is currently a disparity, an "exception" mechanism is included so that the test can pass.   When the options have been added to the man page, this test is designed to fail, and the relevant strings should be removed from the `MISSING_IN_MAN_PAGE` list.
> 
> Test runs on all supported platforms.

Jonathan Gibbons has updated the pull request incrementally with one additional commit since the last revision:

  address review comments

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/5833/files
  - new: https://git.openjdk.java.net/jdk/pull/5833/files/81315dc2..f74fa324

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

  Stats: 3 lines in 1 file changed: 0 ins; 0 del; 3 mod
  Patch: https://git.openjdk.java.net/jdk/pull/5833.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/5833/head:pull/5833

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