Update documentation and travis settings

* Documentation updated
* use redis in travis build