command to download GMP source from the repository

[Steve Ward]

On the main page <http://gmplib.org/> in the download section <
http://gmplib.org/#DOWNLOAD>, I think the command to download GMP source
from the repository should be added.


Thanks,
Steve Ward