Altering name of redis service for Travis CI's sake.