Create gcd.cpp

[cognitive137]

The algorithm cannot recuse indefinitely, since the second argument strictly decreases in each recursive call and is always nonnegative.