[wish] Fallback for coqidetop.opt

[gares]

I'm preparing a snap package for Coq which will contain coqidetop.opt but, due to snap "limitations", its name will be coq-prover.coqidetop.

Would it be possible to have the default executable name used by vscoq take into account this other name as well (as a fallback)?
The point is that I'd like it to work out of the box, and not have to tell users to configure this and that in vscoq.

[gares]

The snap is now ready for testing: https://github.com/coq/platform/tree/v8.13/linux/snap
I can write a patch myself, but I'd like to know if the fallback seems an acceptable idea to you.
CC @fakusb @maximedenes

[fakusb]

I think it's very acceptable.

[Zimmi48]

This isn't needed anymore now because new aliases have been added to the Snap package.