pdf to txt ocr shell script