Remove print/tex

texlive has replaced it long ago, it also does not fit well in the "modern" world
patching it to get it not conflict with getline(3) is painful (web2c part) while
the version in texlive just work