Make SELinux optional

Add a flag to make configuration of SELinux optional