JSON-Array deduplizieren

Erstes Vorkommen bleibt; Schlüsselreihenfolge egal, Array-Reihenfolge relevant.

Maximal 100.000 UTF-16-Einheiten pro Eingabe und 1.000.000 pro Ergebnis. Formate und Beispiele stehen unten.