Update monaco editor: lazy load custom languages and add Haskell syntax highlighting
Update the submodule of our custom monaco editor library.
Instead of calling
Submitted by Max on 5 July 2023 at 16:13x_install();for every custom languagexfrom WebLab on document ready script, the monaco editor now manages what languages to install and it will do so on demand. This update also facilitates the use of TextMate grammars for custom languages, where Haskell is the first use case.