Add Dockerfile which builds a pdfminer3k .deb.