Add redis library