Travis file

We need GHC ≥ 7.8.x though