Clean up treatment module of differentials

Move the construction of \Omega to the setting of ringed spaces.
Redefine the module of differentials using the universal property. The
agreement with the conormal sheaf of the diagonal is now a lemma. Tried
to find all places where this was used...