travis: Install gcc-4.8 and use it