AssociatedOrderGradedModule is now an attribute
tried OnBasisOfPresentation in AssociatedOrderGradedModule

it slowed down computations of one example, but on average
it probably provides considerable speedup when applied to the
input of AssociatedOrderGradedModule
fix in AnnihilatorOfPower
declared and installed AnnihilatorOfPower for divisors
declared and installed PrimaryIdealOfGrAnn1AtTheOrigin

(needs the setter of AssociatedPrimes,
 which is now hosted in Modules v2013.09.19)