grep -O: allow optional argument specifying the pager (or editor)