OPENDJ-2343: rename backendtool to backendstat As agreed when reviewing the initial pull request for the tool.

OPENDJ-1791 Implement a tool like dbtest for the pluggable backend Implement debugging tool for pluggable backend on the same lines as dbtest, adding storage and backend level information. When dumping trees at seen from the backend, also try to print keys and values according to their meaning.

OPENDJ-2259 Move docs into separate git repos This patch removes the hand-written docs from the software repo. It also moves the remaining CC files to CDDL in alignment with everything else in the software repo.

OPENDJ-2195 Additional fix for man-pages build break The doc build tools require an entry point, default index.xml, in order to find the man pages to be built.