Update AUTHORS from git history
diff --git a/AUTHORS b/AUTHORS
index b818ec5..e347cf3 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1 +1,4 @@
+Julien Lavergne
+Keith Gable
+Martin Szulecki
 Nikias Bassen