numpy BeautifulSoup4 python-webencodings six html5lib lxml inkscape pdf2svg texi2html texlive