gmp 5.1.1 [updated]

"[The gmplib.org site now is the sole source for current GMP releases](http://gmplib.org/#DOWNLOAD)". thus mirror url is gone for now.