Puppet module to manage SELinux configuration