Adds Doxyfile for HTML documentation generation.