LaTeXML 0.8.0, version bump to 0.4