Tools to work with and use multiple Puppet versions on the same host