Finished the transition to the new module settings of all SageManifolds classes