Augeas-based Puppet configuration types and providers for Puppet