[Feature request] Add an option to switch to an inline diff editor.

[cubercsl]

Description of the enhancement request

Now that the editor has been changed to monaco, then we can add an option to swich to inline diff editor in submission page: jury/submissions/<sid>/source

The goal you want to achieve

Add a toggle button and/or a global preference (like editor theme) to switch between side by side and inline diff editor.

Any other information that you want to share?

The inline diff editor can be created by option renderSideBySide: false

[pandadtdyy]

Should this setting be a system setting or a user preference? Maybe I will implement it in the regional contest with @cubercsl on Saturday first and then come to pr.

[Kevinjil]

I would suggest adding a toggle to the UI, and dynamically updating the diff editor using updateOptions.

[nickygerritsen]

We already do something similar for switching themes, so you can use that as inspiration.