Remove unused Doxyfile