Tweaks to build.xml and Doxyfile