Benutzerkontext über WebSocket bei Änderungen pushen

Bisher wird WebSocket für #138 (closed) eingesetzt. Eine Verbindung wird erst aufgebaut, wenn man sich auf der entsprechenden Seite befindet. Zukünftig sollen WebSocket auch für andere Dinge eingesetzt werden. Darunter der Push von Änderungen beim Benutzerkontext.

• In app.module den APP_INITIALIZER einkommentieren
• Weiteres topic /principal/{id} mit Rechteprüfung
• FE: Manuelle Refreshs mit this.store.dispatch(new LoadPrincipal()) entfernen
• FE: Topic abonnieren und Principal im Store aktualisieren