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