travis configuration: updating gcc to 4.7