Puppet manifests to deploy WSO2 servers