Makefile:  --enable-benchmarks no longer works with cabal install.
Tweaked travis script to use cabal-dev.