Use GCC 4.8 on Travis-CI.

Indeed, Travis-CI uses Ubuntu 12.04 LTS, which comes with a version of
GCC that is older than 4.7 and therefore doesn’t support -std=c++11
(but -std=c++0x).