Merge pull request #1 from wimmers/master

Added a proof for the logarithmic upper bound on the length of certificates
small cleanup
tuned
Reworked lemma sum_phi'_factors