Update also the library version of gmp to 6.1.0. Switch download to use the GNU alias. Signed-off-by: Hannu Nyman <hannu.nyman@iki.fi> SVN-Revision: 48712