Redis installation with Docker