Feature request: Recognize opam local switch

[nekketsuuu]

I installed Coq with opam's local switch (i.e. Run opam switch create ./ and then run opam pin add coq 8.13.2 etc.).

If I launch VSCode under the local switch, this extension properly recognize Coq binaries such as coqtop.

$ cd /path/to/a/project  # After this, the shell automatically enables a local switch (with `opam init --enable-shell-hook`)
$ code .  # This opens VSCode with environment variables of the local switch

Otherwise, VSCode cannot recognize the local switch and the correct Coq binaries. For example, if I close a window of VSCode I opened by the above method and then I open VSCode from the list of applications, VSCode automatically opens the project I closed just before, but it does not enable the local switch and throws Could not start coqtop (coqtop) error or something.

Therefore, how about adding an option to let this extension recognize a current switch automatically?

To do so, we may be going to hack spawnCoqTop function, but I don't know which implementation is better.

https://github.com/coq-community/vscoq/blob/a3025293e77c2b90c38486cb6fc7503b57c4b2bd/server/src/coqtop/CoqTop8.ts#L213

Maybe we can use https://github.com/ocamllabs/vscode-ocaml-platform as a reference implementation.

Any thoughts?