allow switching off genjavadoc, see #3141

we do want to keep it on by default so that jenkins and release scripts do not forget to turn it on, meanwhile Viktor can do

    sbt -Dno.genjavadoc=true