bibtools/cli.py: add a funky 'grep' command