Section 4

Reworked the extension of the weights and the proof that we get a
measured quantum groupoid. Still need to add references and include
universal C*-algebra.