Updated documentation build properties to include documentation in
binary jar.
Merge remote-tracking branch 'github/develop' into develop