GUI: Remove 2000 child elements restriction on terminal

With the new buffering strategy and improved terminal panel this
restriction is obsolete and would not apply anymore in a typical
usage scenario

Author: micaplush

src/main/resources/automark/gui/components/Dashboard.js

@@ -178,10 +178,6 @@ export default class DashboardScreen extends Component {
         const terminal = this.terminalRef.current
         if (terminal != null) {
             const terminalText = terminal.children[0]
-            const childElementCount = terminalText.childElementCount
-            for (let i = 0; i < childElementCount - 2000; i++) {
-                terminalText.children[i].remove()
-            }
             const lineSpan = document.createElement("span")
             lineSpan.innerText = text
             terminalText.appendChild(lineSpan)