added shell script to do batch extractions of highlights from pdfs