Refactoring, Redesign und Bugfixes für den Review-Editor

Fixes #33 (closed) #31 (closed) . Based auf feature/edit-submissions.

Änderungen:

• Die Zeilennummer wird in der Farbe des schwerwiegendsten Fehler der Zeile unterlegt.
• Neues und besser erkennbares Iconset für Kommentare
• Weniger knallige Highlight-Farben
• Layout-Redesign:
• • Weniger Padding um den Codeblock
• • Das Fenster mit dem Review-Edtor nimmt nun die volle Breite der Tabellenzelle ein.
• • Vertikale und horizontale Scrollbars sind nun in einem Container, sodass man auch horizontal scrollen kann, wenn man nicht ganz nach unten gescrollt hat.
• • Footer (mit Hinweisen und Datei-Download) ist am unteren Fenster-Rand angeheftet.
• Falls zu wenig Platz ist, wird das Kommentarfenster nun nach links bzw. oben geöffnet.
• Wenn man außerhalb des Kommentar-Bearbeiten-Fensters etwas auswählt, wird nun an der anderen Stelle der Editor geöffnet, anstatt dass er nur geschlossen wird.
• Es wird nun exakt die Auswahl des Kommentar gehighlighted, nicht wie vorher die komplette(n) dom-node(s).
• Rückwärts auswählen selektiert nicht mehr die ganze Zeile.
• Kommentare, die während des gleichen Seitenaufrufs erstellt und gelöscht werden, werden nun auch im Backend gelöscht, sodass sie auch nach Neuladen weiterhin gelöscht bleiben.

Außerdem relativ viel Refactoring.

Compare nur für diese PR: https://wiwi-gitlab.uni-muenster.de/learnweb/javacas/compare/feature%2Fedit-submissions...refactor