Allow skipping Javadoc generation by setting -Djavadoc.skip=true

In particular when developing bugfixes, a rapid edit/build/test cycle
is required. We should facilitate that by offering to switch off the
Javadoc generation easily.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>