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

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

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

Commit messages:
 - fix copyright and trailing whitespace
 - JDK-8274211: Test man page that options are documented

Changes: https://git.openjdk.java.net/jdk/pull/5833/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=5833&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8274211
  Stats: 287 lines in 1 file changed: 287 ins; 0 del; 0 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