Switch stdenv to GCC 4.8.0.

I would suggest that our next stdenv update goes to gcc 4.8.x directly, skipping 4.7.x.