Puppet Scripts for WSO2 Product Deployments