Setting the path to LIGO requires a VS Code restart to take effect
If you change the path to LIGO in the VS Code extension, it won't take effect until VS Code is restarted. An LSP restart is not enough.
Acceptance criteria
- Changing the LIGO path in VS Code also restarts the extension to use this new path.
- Alternatively, restarting the LIGO VSCode after a path change should be enough.