Replace Ace with Monaco editor#2838

nickygerritsen merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

nickygerritsen:monaco-editornickygerritsen/domjudge:monaco-editorCopy head branch name to clipboard