Add git-log → CHANGELOG conversion script, from Werner Koch's gnupg repo.
Make the output of exit-probability-factor.py a bit nicer.
Add a sanity check for the total distributed funds.