Merge changes from BetterVizier (new)

[wireva]

bunch of improvements, see:

• https://github.com/Code-For-Groningen/BetterVIZIER
• https://fitch.wireva.eu

changes made:

• monaco editor instead of textarea
• shortcut for formatting (ctrl s)
• syntax highlighting
• proper build system with vite and typescript
• auto line numbering, stay on intendation level
• tabbing for subproofs
• auto insert fitchbar
• prettier 180 degree turn
• more replacement options (+!&*)
• redesign with light and dark mode
• tabs
• persistence using localstorage
• button to load a random excercise from a pool
• added Alpine.js for making parts of the app reactive
• shake error when formatting fails

[co-dan]

Hi @niwla23, thank you for your proposed changes, the improvements to the UI are great!
I do however want to understand the changes a bit better before merging them. Would you mind meeting for a chat/coffee/tea when the course is over?

[wireva]

Hi, thanks for taking a look. Meeting to talk about the changes is no problem! Next week I'd be free after 17:00 Monday - Wednesday or after 15:00 on Friday. You can also send me an email at a.lohrie@student.rug.nl

Oh and also note that this PR does currently not have the latest changes, I always have to manually merge new ones over because the actual repo is not setup as a fork of this one.

[wireva]

@co-dan I managed to move the webui into its own directory! I hope everything went right with the git operations for the PR.

[wireva]

@co-dan how is the integration going? are there any issues?