add pdf2htmlex and upgrade poppler