gmp:
 * bump version to [http://gmplib.org/gmp5.1.html 5.1.3]
 * refs #1939


git-svn-id: file:///var/svn/freetz/trunk@11159 149334a1-2f27-0410-a3b9-fc62619ac1e6
mpfr:
 * bump version to [http://www.mpfr.org/mpfr-current/#bugs 3.1.2-p3]
 * refs #1939


git-svn-id: file:///var/svn/freetz/trunk@11160 149334a1-2f27-0410-a3b9-fc62619ac1e6