Feat: add options to the extension #20
Description
We should be able to:
- configure the engine's options (e.g
strict) (client/server) - launch a command to restart the server (vscode client)
- Manage files to ignore #3
{{ message }}
We should be able to:
strict) (client/server)