change way redis is run in Travis