Bump submodule to include GaloisInc/crucible#730 "concurrency".

Also add new packages to `cabal.project`.

Also update megaparsec version in freeze files to make
`crucible-syntax` happy.

cabal.GHC-8.10.3.config

@@ -195,7 +195,7 @@ constraints: any.Cabal ==3.2.1.0,
              any.logict ==0.7.0.3,
              any.math-functions ==0.3.4.1,
              math-functions +system-erf +system-expm1,
-             any.megaparsec ==9.0.1,
+             any.megaparsec ==8.0.0,
              megaparsec -dev,
              any.memory ==0.15.0,
              memory +support_basement +support_bytestring +support_deepseq +support_foundation,

cabal.GHC-8.6.5.config

@@ -196,7 +196,7 @@ constraints: any.Cabal ==2.4.0.1,
              any.logict ==0.7.0.3,
              any.math-functions ==0.3.4.1,
              math-functions +system-erf +system-expm1,
-             any.megaparsec ==9.0.1,
+             any.megaparsec ==8.0.0,
              megaparsec -dev,
              any.memory ==0.15.0,
              memory +support_basement +support_bytestring +support_deepseq +support_foundation,

cabal.GHC-8.8.4.config

@@ -196,7 +196,7 @@ constraints: any.Cabal ==3.0.1.0,
              any.logict ==0.7.0.3,
              any.math-functions ==0.3.4.1,
              math-functions +system-erf +system-expm1,
-             any.megaparsec ==9.0.1,
+             any.megaparsec ==8.0.0,
              megaparsec -dev,
              any.memory ==0.15.0,
              memory +support_basement +support_bytestring +support_deepseq +support_foundation,

cabal.project

@@ -17,9 +17,11 @@ packages:
     deps/cryptol
     deps/what4/what4
     deps/crucible/crucible
+    deps/crucible/crucible-concurrency
     deps/crucible/crucible-jvm
     deps/crucible/crucible-llvm
     deps/crucible/crucible-saw
+    deps/crucible/crucible-syntax
     deps/crucible/crux
     deps/crucible/crux-mir
     deps/parameterized-utils