Support for vector_space_dim and friends for modules over MPoly(Quo)LocRing localized at a point

[Syz-MS]

@HechtiDerLachs feel free to decide whether to include this in your current open PR or not, since it is already late and the deadline for the 1.7.0 release is approaching quickly.

To sum up the changes in this PR:

• refactores the existing code for the ungraded MPolyLocRing case and extends it to modules with true sub part (left the old code commented out)

• in doing so swiches to using 'present_as_cokernelinstead ofcokernel` when presenting the module, since the later one sometimes also returns the canonical projection

• also left the code for the "total degree graded" MPolyLocRing case untouched, since there are two test in an old testset, that would break otherwise (should probably be removed)

• copys and refactors the "base_ring_lift" -functions for modules over a MPolyQuoRing to the case of modules over aMPolyQuoLocRing

• adds full support for ungraded modules over a MPolyQuoLocRing

[Syz-MS]

Will open a new PR, since your PR is now merged