Dockerfile: split into redis-server and sentinel