Merging extension of pdfMiner to convert pdf to txt, html, or xml

Also adding a module for finding elements with specific attributes from the resulting html files, and also 'pretty_printing' it for more convenient exploration.