ocr.sh: a bash script to OCR PDF files easily