Continued editing hyperelliptic curves

Finished before proo of the coefficients of the ramification divisor