Removed emacs.d/proof-general
Documentation on how to update the baseline
Updated baseline to b253eb0d593cb1041bd9c87ab03dbf72295c79d6
Add vanitygen