Improved reduction algorithm when generators of highest dimension are
present.
Added Betti number computation using coreduction to the UI.
Added support to quadrangles (not yet to prisms, hexaherdons or pyramids
due to unresolved issues).
Bugfixes.