HEAD: better wvstreams/Doxyfile for doxygen.