"Finished" GCD algorithm...

...except it's effectively unusable since coefficients explode very
quickly and 0's cause issues with intpolys