Selinux grammar

This is my attempt at documenting the policy grammar that is accepted by checkpolicy.

Comments start with a # character and continue to the end of the line.

Keywords can be in all uppercase or all lowercase.

A file must contain either a base_policy or a module_policy.

module_policy = module identifier version_identifier ;