quick recipe to install php Redis module