redis server for travis