CR-7759 OPENDJ-2195 Move hand-written server docs Hand-written docs depend on generated doc sources. In order to move the hand-written docs out of the project, the sources generated from project code must be in artifacts. This initial patch creates the artifacts for man pages and other generated documentation.