Update GMP to 5.1.2
Merge commit '282e22b79f735bd9bb510d9e2467bf5cd200eef3' into develop
Merge pull request #205 from Alexpux/develop

Update GMP to 5.1.2