Use Redis service on Travis CI