cmake: restore documentation build
Require the DocTools framework, and use the right cmake macro to build&install the documentation.