Returns the greatest common divisior (gcd) of two integers int_a and int_b