added pdfgrep plugin