[main] Add support to build bindings using mina as a submodule in o1js repo

.github/workflows/lint.yaml

@@ -15,4 +15,3 @@ jobs:
         run: |
           npm init -y
           npm i prettier
-          npx prettier -c kimchi/js/**/*.js js/**/*.js

crypto/test_vectors/dump-test-vectors.sh

@@ -2,9 +2,9 @@
 
 set -e
 
-pushd ../../../../../crypto/proof-systems/poseidon/export_test_vectors
-  cargo run -p export_test_vectors -- hex kimchi ../../../../snarkyjs/src/bindings/crypto/test_vectors/testVectors.json
-  cargo run -p export_test_vectors -- hex legacy ../../../../snarkyjs/src/bindings/crypto/test_vectors/testVectorsLegacy.json
+pushd ../../../mina/src/lib/crypto/proof-systems/poseidon/export_test_vectors
+  cargo run -p export_test_vectors -- hex kimchi ../../../../../../../bindings/crypto/test_vectors/testVectors.json
+  cargo run -p export_test_vectors -- hex legacy ../../../../../../../bindings/crypto/test_vectors/testVectorsLegacy.json
 popd
 
 echo "// @gen this file is generated - don't edit it directly" > $1 

crypto/test_vectors/dune

@@ -5,10 +5,10 @@
   (<> %{env:NO_JS_BUILD=0} 1))
  (deps
   (:script ./dump-test-vectors.sh)
-  (source_tree ../../../../../crypto/proof-systems)
+  (source_tree ../../../mina/src/lib/crypto/proof-systems)
   ../../../../.prettierrc.cjs
   (glob_files ../../../../node_modules/prettier/*))
  (action
   (progn
-   (run chmod -R +w ../../../../../crypto/proof-systems/ .)
+   (run chmod -R +w ../../../mina/src/lib/crypto/proof-systems/ .)
    (run %{script} poseidonKimchi.ts poseidonLegacy.ts))))