Puppet - tool to deploy software