specify ghc 7.8 in .travis.yml