Clean up travis build a bit, and upgrade to stdc++4.8