Fix selinux man page to refer seinfo and sesearch tools.