Actually remove unused top-level doxygen.config file

In commit 3ca1a80e53 (Remove unused top-level doxygen.config file,
2023-03-20) we only removed the content, not the file itself.