Use CMake for building the documentation with Doxygen