docu: enable JAVADOC_AUTO_BRIEF

and got rid of `@brief` and `@details` sections
docu: using MathJAX markers directly (not Doxygen's)