tex@gentoo.org Gentoo TeX Project dot2tex xyz2tex/dot2tex