Fix preludes
Update Travis
Update Cabal