Update of gcc-build.

Now using the 4.7.3-specific versions of gmp, mpfr, mpc.
Also updating mpfr and mpc.
And no longer doing "install-html" (apparently no longer supported).