update doxyfile: store output as .xhtml instead of .html