Use Chris Lea PPA to bring in contemporary version of Redis