Added dev-tex/dot2tex-2.9.0, which can use newer python libraries