Update version number.
Add Redis to travis-ci config.