Augeas-based ssh types and providers for Puppet