location of the vsix file for the iml-vscode (imandra IDE) plugin - View it on GitHub