bump gmp to 5.1.3
omg, wrong link
Merge pull request #20 from balanced/upgrade-gmp

bump gmp to 5.1.3, fixes #19