Upgrade GMP from 4.3.2 to 5.0.2 on the vendor branch
drwxr-xr-x - contrib