Stop ignoring html directory and put doxygen output in docs/