Upgrade to Redis 2.8.8 and move to Ubuntu 12.04