Added polydifferential dimension lemma to background

Also added lemma about Omega_X,P being generated by dt, that if f is regular at P so is df
Sorted out dimension theorem for polydifferentials

Also removed leftequation from dimension section, removed polydifferentials from hyperelliptic curves, and minor clean up bits
Largely completed hyperelliptic curve section

Changed h to H, changed include to input for valentini madan part.