GCC and GMP 5.0.1

[Torbjorn Granlund]

Let me add: I think Debain DTRT in staying with GMP 4.3.  But because of
end-users that use GMP's full power could have stricken some GMP bugs,
not for the sake of GCC.

-- 
Torbjörn