Add pdftotext encoding as configuration option