Log Message:
Import pdfgrep-1.2 as textproc/pdfgrep from wip/pdfgrep

Pdfgrep is a tool to search text in PDF files. It works similar to
grep.

Features
========
* search for regular expressions.
* support for some important grep options, including:
      o filename output.
      o page number output.
      o optional case insensitivity.
      o count occurrences.
* and the most important feature: color output!