make installation of doxygen documentation optional (so we are not forced to build it)