Fixed the travis-ci configuration

Known issue with test coverage and ghc 7.4 & 7.6