added color-grep, made pdfman more portable
removed work-specific scrubbing