Puppet module to manage PHP on debian using dotdeb apt repository