bibgrep -s: allow longer (more descriptive) filenames than bib keys