Revert "Pull redis from github master temporarily"

This reverts commit 919fbdf8945bdd2cdb5ddda5a7ac8c5b7395597b.