Feat: add options to the extension

[EmileRolley]

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