selinux/checkpolicy/.gitignore