Pdfgrep is a tool to search text in PDF files
