ReducedBasisOfModule now supports the option "COMPUTE_SMALLER_BASIS"

PresentationMorphism now calls ReducedBasisOfModule with
"COMPUTE_SMALLER_BASIS" instead of "COMPUTE_BASIS"

(this is motivated by computations over residue class ring,
 e.g., of Rank, which triggers FittingIdeal, which triggers
 PresentationMorphism)