Use official Redis Ubuntu package instead of PPA

Change-Id: I68ab7fb32436f13bde86d80f8cc77bd0a7525e37
Implements: blueprint redis-non-ppa