Redis is no longer a default travis service