modular GCD algorithm for integer polynomials

This is the fist part of my GSoC project. It implements modular algorithms for computation of GCDs of integer polynomials, univariate, bivariate and multivariate.

This replaces my previous PR #2249.