fix: refactor after rebase on sampling_based_c3_public

Author: Meow404

.bazelrc

@@ -52,7 +52,6 @@ build --action_env=LD_LIBRARY_PATH=
 # customizations somehow.
 
 # build with snopt
-build --define=WITH_SNOPT=ON
 build --define=WITH_GUROBI=ON
 build --define=NO_CLARABEL=ON
 

MODULE.bazel

@@ -89,10 +89,16 @@ archive_override(
     strip_prefix = "drake-{}".format(DRAKE_VERSION.lstrip("v")),
 )
 
+bazel_dep(name = "c3")
+git_override(
+    module_name = "c3",
+    remote = "https://github.com/DAIRLab/c3.git"
+    commit = "2a77c1342db38efbc08aebcb1c8acb9b9c6002f0"
+)
+
 INEKF_COMMIT = "297c308e50fa599af92ce3bd5f11d71e2bf8af69"
 INEKF_CHECKSUM = "c5a056ce00e1625e52f5a71b1d5c202acd53c1a8c7bca33da458db1e4f3f2edf"
 
-
 # Before changing the COMMIT, temporarily uncomment the next line so that Bazel
 # displays the suggested new value for the CHECKSUM.
 #INEKF_CHECKSUM = "0" * 64