fixing FindGMP.cmake on Debian/Buster
On my machine (Debian/Buster) the FindGMP.cmake script could not find the GMP installation that I've installed via the distribution.
Here I'm proposing a rewrite of FindGMP.cmake where this issue is fixed. I've tested that it can also find locally build GMP installations.