polys: add documentation for modulargcd to sphinx