Improve the convertPdfToTxtInBatch.py script