users.csv userIds field is never populated

The `userIds` column in users.csv is declared in UserFile.cs but never mapped in Map(), resulting in always-empty output.

The OneRoster 1.1 Best Practice Guide (section 3.1.3) recommends populating this field with machine-readable identifiers (e.g. LTI, LDAP) for bridging purposes.

**File to fix:** Models/Exports/UserFile.cs -- populate UserIds in Map() with a meaningful identifier (e.g. the username or a formatted ID).

**Impact:** External systems relying on the userIds field for identity bridging will not find data.

Öffne Models/Exports/UserFile.cs und untersuche Map() zusammen mit der Deklaration von UserFile. Ermittle, welcher verfügbare Benutzerwert das Feld userIds befüllen sollte, und generiere anschließend users.csv oder untersuche die Datei, um zu bestätigen, dass das Feld einen aussagekräftigen maschinenlesbaren Bezeichner enthält, anstatt leer zu bleiben.

Vom Indexierungsmodell aus dem Issue-Text verfasst.