Puppet module to manage SELinux