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