Modular GCD for polynomials over algebraic number fields

This is the second part of my GSoC project. It implements a modular algorithm for computation of GCDs of polynomials with coefficients in an algebraic extension of Q.

This PR depends on my PR #2281.