GCD(a,b) returns the Greatest common divisor between a and b