Pipeline-Snapshot: Mini-Pipeline auch zuruecksetzen

beginQueue() und _restoreSnapshot() haben bisher nur _render() aufgerufen,
aber NICHT _renderMini(). Daher blieben die kleinen Pipeline-Icons im
"Aktualisierung laeuft"-Modal gruen, obwohl die Lage in Queue war.
Fix: an beiden Stellen auch _renderMini() aufrufen.

src/static/js/pipeline.js

@@ -191,6 +191,7 @@ const Pipeline = {
             }
         });
         this._render();
+        this._renderMini();
     },
 
     /** Restauriert den letzten Snapshot. Rueckgabe: true bei Erfolg, false wenn keiner da war. */
@@ -199,6 +200,7 @@ const Pipeline = {
         this._stateByKey = this._snapshotState;
         this._snapshotState = null;
         this._render();
+        this._renderMini();
         return true;
     },