pdftools - Text Extraction, Rendering and Converting of PDF Documents