disable automatic doxygen html generation

distributing the autogenerated doxygen documentation roughly doubles the
tarball size and adds build dependencies to a git checkout, for little
benefit. the doxygen documentation can still be built manually with
'make html'.