Correct documentation for gcd

[ciphergoth]

gcd asserts that the result is "always positive", but the result is (correctly) zero if both parameters are zero, so replace "positive" with "non-negative".

(Zero is correct here because 0Z + 0Z = 0Z where Z is the integers)

[cuviper]

Thanks!

bors r+

[bors[bot]]

Build succeeded:

• Format
• No Std
• Test (1.15.0)
• Test (1.20.0)
• Test (1.26.0)
• Test (1.31.0)
• Test (1.8.0)
• Test (beta)
• Test (nightly)
• Test (stable)