VSCode Extension Update

[Afonso Fernandes]

Hi,

I've worked on an update of the build window in the TLA VSCode Extension and would like to gather some feedback (if you know TS or React it would also be nice to have some reviews).

The PR with more detail information: https://github.com/tlaplus/vscode-tlaplus/pull/289

You can test it on my branch https://github.com/afonsonf/vscode-tlaplus/tree/refactor-webview-using-vscode-toolkit

I've also uploaded the vsix file here: https://github.com/afonsonf/vscode-tlaplus-vsix-file-test

New UI:

Old UI:

[Afonso Fernandes]

Deleted the repo with the file as now builds can be download from the ci artifacts: https://github.com/tlaplus/vscode-tlaplus/actions/runs/5026680030