polys: some improvements in modulargcd

_trunc now uses PolyElement.rem() directly.
_minpoly_from_dense now uses DMP.terms() directly.
polys:  improve code style in modulargcd
polys: add documentation in modulargcd