add ppa for redis-server