Skip generating JavaDocs during Maven builds

Generating JavaDocs takes quite some time and may also break the build.

Defaulting to skip the doc generation is probably preferable. It may be noted in the docs that it can be enabled with a custom `script:` command for anyone who needs this to be part of the build.