Puppet module to manage PHP on debian or ubuntu