A puppet module to install php