check that doxygen is installed and is not too fresh