Completed Valentini Madan rewrite, moved old version to notes
Did some todo notes

Added reference to lemma which we are proving.
Checked statement of lemma from Bernhard and Kontogeorgis' paper.
Added label to definition of different/ramification divisor
Clarified points regarding ramification divisor, different exponent etc
Added references
Added references, checked statements, some rewording etc.