Update Redis to 3.2

Update Redis (from 2.8.24) to the latest stable (3.2 as of May 2016) to improve performance: cf. gitlab-org/gitlab-ce#14697

• cf. #1171 (closed)

/cc @marin