Puppet modules for WSO2 products