Update Travis config from upstream
Try to use cabal-1.20 on Travis