Upgrade GMP from 5.0.2 to 5.0.5 on the vendor branch
Upgrade GMP from 4.3.2 to 5.0.2 on the vendor branch
Import gmp-4.3.1