Test-Server Settings für Frontend zugänglich machen

Aktuell werden Settings vom Test-Server statisch im Frontend benutzt (Konstanten). Vor allem sind das die maximale Anzahl an

• Zeilen zu lesen vom User-Program (1000)
• Zeilen zu schreiben vom Test-Input (1000)
• Error-Zeilen zu lesen vom User-Program (1000)

Im Test-Runner sind das maxLinesToRead, maxErrLinesToRead, maxLinesToWrite (vom Test-Server eingelesen)..

Siehe dazu consolePanelHeaderBar.tsx und wo 1000 in i18n Dateien vorkommt.