Text this: On the hensel lifting method of computing the GCD of two univariate polynomials over the integers