CMake: option to generate documentation only