modular GCD for polynomials in Z[x]
add tests