Update gmp to 5.1.1
Merge pull request #148 from Alexpux/develop

Update gmp to 5.1.1