simplify mina version resolution and remove support for MINA_ROOT

[glyh]

As title.

This also prevents us to introduce some ppxes like https://github.com/ocaml-ppx/ppx_import/

because sandbox mode is disabled here, which is required for staged_pps.

[glyh]

!ci-build-me

[glyh]

!ci-build-me