Update all.bib

Correcting accidental deletion. Note that there are multiple versions of the same entry, and unused items should probably be pruned.