Fix Waf build for recent Doxyfile changes

Recent changes to Doxyfile.in added new placeholders the build system has to replace, and Waf even recognized them and failed not knowing what to replace with.