Turn on BUILTIN_STL_SUPPORT in Doxygen to fix some warnings, also fix another minor Doxygen issue