Updating Doxygen for Minuit extension