Puppet module to manage selinux stuff