.travis.yml: Use gcc-4.7 to avoid broken codegeneration and failed tests.