Python 3 port of pdfminer