Update Travis config
Update docs
Update dependencies. Use "base-prelude".