Bump up mina to latest compatible version

[dannywillems]

This is to verify that before #1942, CI was broken.

See o1-labs/o1js-bindings#321

Commands:

rm -rf _build dist node_modules
cd src/mina
git fetch origin
git checkout compatible # forgot a git pull/git reset --hard origin/compatible
git submodule update --init --recursive
# to get proper deps in case of outdated pkgs
opam switch remove o1js
opam switch create o1js 4.14.0
eval $(opam env)
opam repository add --yes --all --set-default o1-labs https://github.com/o1-labs/opam-repository.git
opam switch import opam.export
cd ../../
git checkout -b dw/bump-up-mina-to-latest-compatible
git commit -m "Deps/Mina: bump up to latest compatible"
npm install
npm run build:update-bindings
cd src/bindings
git checkout -b dw/bump-up-mina-to-latest-compatible
git add MINA_COMMIT compiled/*
git commit -m "Deps/bindings: bump up to latest compatible"
git push gitorigin dw/bump-up-mina-to-latest-compatible
cd ../../
git add src/bindings
git commit -m "Deps/bindings: bump up"
git push origin dw/bump-up-mina-to-latest-compatible

[dannywillems]

Assigning this task to @Trivo25 as discussed online.

[dannywillems]

The work is now happening in #1967