Verify Javadoc with DocLint on Travis CI.

This verification ensures that System Rules' Javadoc is valid HTML.

The DocLint tool has been introduced with JDK 8. Hence it is enabled by
adding Oracle JDK 8 to the list of JDKs that are used by Travis CI.