Changed doxygen configuration so that the mint_ prefix is ignored for
the purpose of indexing functions in html webpages