bibgrep: fix after last change
bibgrep: fix after last change

if only a single bib file is found in the local directory, grep does not include
the file name in its output by default. This adds an argument to do so.

georgwassen/Scripts,georgwassen/Scripts