Add agent token field

Closes #1897 (closed)

arkindex/ponos/migrations/0015_agent_token.py

+# Generated by Django 5.0.8 on 2025-02-17 13:50
+
+from django.db import migrations, models
+
+import arkindex.ponos.models
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [
+        ("ponos", "0014_task_task_finished_requires_final_state"),
+    ]
+
+    operations = [
+        migrations.AddField(
+            model_name="agent",
+            name="token",
+            field=models.CharField(default=arkindex.ponos.models.token_default, max_length=52),
+        ),
+        migrations.AddConstraint(
+            model_name="agent",
+            constraint=models.UniqueConstraint(models.F("token"), name="unique_agent_token"),
+        ),
+    ]