BUILD: Make Travis fetch and use gcc-4.7.