Add dist-nodoc target to build.xml

This new target builds the binary release tarball, but excludes
the documentation.
Merge branch '4.3'