Added instructions on how to start the Redis server.