Implementation of Algorithm 1.2 - Euclid's algorithm for the GCF.
Author: Ryan McIntyre

Input is two natural numbers, a and b.

Output is the greatest common factor of a and b.

See also Problem 1.10
exr:exteuclid
