НОД двух чисел (алгоритм Евклида)

Напишите функцию gcd(a, b), которая возвращает наибольший общий делитель (НОД) двух неотрицательных целых чисел a и b. Используйте алгоритм Евклида. По соглашению gcd(n, 0) = n и gcd(0, 0) = 0.

Вход: два целых числа a, b >= 0. Выход: их НОД.

Примеры:

• gcd(12, 8) -> 4
• gcd(17, 5) -> 1