Merge pull request #205 from Alexpux/develop

Update GMP to 5.1.2