Tweak the travis file to use Cabal-HEAD