CMakeLists.txt: add ENABLE_DOXYGEN option