switch to mathjax for more beautiful math in the documentation;
initially I used pngmath to support offline-documentation, however, I
do not feel this is a common enough case to justify the trade-off paid
by using images
update github workflow: we do not need texlive anymore for the docs
when using mathjax