Update Redis to latest 2.8.17 version
Merge branch 'master' into stable-2.8