Puppet type and provider to manage windows pagefiles