Switch stdenv(-updates) to gcc 4.8.0

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