Release Two

Fixed lots of bugs.
The code is now more robust, and computes even in situations where the discriminant of the quadratic extension is not coprime to the conductor.
It also includes some functionality that helps in computing p-adic L-invariants of genus two curves.