Feature: Discord-Ping in Benachrichtigungen (optionale Erwaehnung)

Neues Settings-Feld "Discord-Ping" unter der Webhook-URL: User-ID, @everyone
oder @here. Wird jeder Webhook-Nachricht vorangestellt, damit Discord wirklich
pingt statt nur still in den Kanal zu schreiben. Eine nackte Zahl wird als
<@id> verpackt (nur so pingt eine User-Erwaehnung); @everyone/@here und fertige
<@...>-Mentions gehen unveraendert durch. Default leer = Verhalten wie bisher.
5 neue Tests (Normalisierung + Content-Prefix).

src/shared/types.ts

@@ -133,6 +133,7 @@ export interface AppSettings {
   confirmDeleteSelection: boolean;
   backupIncludeDownloads: boolean;
   notifyUrl: string;
+  notifyMention: string;
   notifyOnPackageCompleted: boolean;
   notifyOnPackageFailed: boolean;
   notifyOnRunFinished: boolean;