Update Travis and workaround the "cabal test" issue