Use redis-server in travis