An ant property to skip building docs

It can be situationally useful to run:

    ant -Dskip.docs=1 dist-maven

When troubleshooting problems that require creation of
a distribution, such as pr-integrate-partest.

Scaladoc isn't incremental, so you burn
a few minutes for a single file change to the compiler or
library.