Go language TeX to HTML library