travis-ci: install and use gcc 4.7