Upgrade GMP from 4.3.2 to 5.0.2 on the vendor branch

Upgrade GMP from 4.3.1 to 4.3.2 on the vendor branch.

Import gmp-4.3.1