travis: install gcc-4.8 and have CMake do boost