bibtools/bibcore.py: slip an extra space in the new output