pdfgrep: added a nice util to search in pdf files
Merge pull request #3568 from qknight/pdfgrep

pdfgrep: added a nice util to search in pdf files