Add original CIL authors

Author: sim642

dune-project

@@ -5,7 +5,7 @@
 (version 2.0.0)
 (source (github goblint/cil))
 ; (documentation "https://goblint.github.io/cil")
-(authors "Gabriel Kerneis" "Ralf Vogler" "Michael Schwarz" "Simmo Saan")
+(authors "George Necula" "Scott McPeak" "Westley Weimer" "Gabriel Kerneis" "Ralf Vogler" "Michael Schwarz" "Simmo Saan")
 (maintainers "Michael Schwarz <michael.schwarz93@gmail.com>" "Simmo Saan <simmo.saan@gmail.com>")
 (license "BSD-3-Clause")
 

goblint-cil.opam

@@ -16,7 +16,15 @@ maintainer: [
   "Michael Schwarz <michael.schwarz93@gmail.com>"
   "Simmo Saan <simmo.saan@gmail.com>"
 ]
-authors: ["Gabriel Kerneis" "Ralf Vogler" "Michael Schwarz" "Simmo Saan"]
+authors: [
+  "George Necula"
+  "Scott McPeak"
+  "Westley Weimer"
+  "Gabriel Kerneis"
+  "Ralf Vogler"
+  "Michael Schwarz"
+  "Simmo Saan"
+]
 license: "BSD-3-Clause"
 homepage: "https://github.com/goblint/cil"
 bug-reports: "https://github.com/goblint/cil/issues"