Umstellung von `lib/classes/Log.php` auf Verwendung eines PSR-3 kompatiblen Loggers
Beschreibung
Die Klasse lib/classes/Log.php
wird verwendet, um Log-Nachrichten in die Datei $TMP_PATH/studip.log
zu schreiben (falls nicht anders konfiguriert). Mit PSR-3 ist eine Schnittstelle für Logger definiert, für die wir (über Umwege) auch bereits eine Implementation im Kern verwenden (Monolog).
Dieser TIC stellt die Implementation von lib/classes/Log.php
auf die Verwendung von Monolog um.