Support the VS Code configuration in the new language server
The old language server supported various configurations from VS Code. Some of those are deprecated now with the new language server, but some of them we still want to support:
- Path to LIGO
- Maximum number of diagnostics
- Disabled features
There is also a Tezos source account, but that one is only used by the TypeScript extension, so we don't need to do anything with it.
Deprecated configurations should be removed. I believe the scoping system is the only one we should delete.
Handling configuration updates requires registering a client capability, which requires changes in https://github.com/c-cube/linol (see https://github.com/c-cube/linol/issues/16).
Acceptance criteria
- We support configurations (path to LIGO, maximum number of issues, disable features).
- We remove deprecated configurations.
- Tests added.
Edited by Sorokin-Anton