update the redis apt-get repo to fetch a more recent version of redis