add Redis service to configuration of Travis CI