We should switch to `ppa:ubuntu-toolchain-r/test` over `ppa:george-edison55` since it has started providing gcc-4.8 and does this for more ubuntu versions than george-edison55. Also, machines using Carmen will need this PPA at runtime to have the right gcc/c++ libraries available for c++11 so we should work to consistently use the same PPA for upgraded gcc.