gmplib: use faster download mirror

Fixes #1155.