make Doxygen a requirement if documentation is to be built