Travis-CI: Use gcc4.7 from ppa:ubuntu-toolchain-r/test