Instructions to set up redis