Support MacOS Sequoia or later #17
Description
On macOS, Bazel uses clang as the default compiler, which does not natively support OpenMP. Since OpenMP is required for parallel solving in the projection step of C3, we need to add custom Bazel rules to download and build OpenMP in order to support macOS.