Installs redis-server and php extension