gmp: Adding more urls for 5.1.0

It worked some days ago, but gnu mirrors seem to have removed gmp 5.1.0