Add gcc-4.8 to travis config (needed for -fgnu-tm)