redis for travis