Update Redis to latest 2.8.17 version