travis: back to g++-4.7 since binaries built with 4.7 hang when run with 4.8