Remove Chris Lea's PPA so redis-server and friends are fetched from Ubuntu repostories