bibtools/cli.py: slightly more compact Bibtex formatting in 'info'