make tarball: Make doxygen less verbose.