Add contributors (everyone shown as commit author on GitHub)

PackageInfo.g

@@ -44,6 +44,36 @@ Persons := [
     Email         := "[email protected]",
   ),
   # contributors
+  rec(
+    LastName      := "Breuer",
+    FirstNames    := "Thomas",
+    IsAuthor      := false,
+    IsMaintainer  := false,
+  ),
+  rec(
+    LastName      := "García-Sánchez",
+    FirstNames    := "Pedro",
+    IsAuthor      := false,
+    IsMaintainer  := false,
+  ),
+  rec(
+    LastName      := "Gutsche",
+    FirstNames    := "Sebastian",
+    IsAuthor      := false,
+    IsMaintainer  := false,
+  ),
+  rec(
+    LastName      := "Horn",
+    FirstNames    := "Max",
+    IsAuthor      := false,
+    IsMaintainer  := false,
+  ),
+  rec(
+    LastName      := "Isuru",
+    FirstNames    := "Fernando",
+    IsAuthor      := false,
+    IsMaintainer  := false,
+  ),
   rec(
     LastName      := "Konovalov",
     FirstNames    := "Alexander",
@@ -56,6 +86,12 @@ Persons := [
     IsAuthor      := false,
     IsMaintainer  := false,
   ),
+  rec(
+    LastName      := "Siccha",
+    FirstNames    := "Sergio",
+    IsAuthor      := false,
+    IsMaintainer  := false,
+  ),
 ],
 
 SourceRepository := rec(