Update Travis
Relax the "monad-control" dependency