Update AUTHORS file with correct list

The previous list was wrongly generated from the git history missing a
couple of original authors. Thanks to Paul Sladen for the hint.
diff --git a/AUTHORS b/AUTHORS
index dea7d1f..459a825 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,5 +1,10 @@
 Aaron Burghardt
+Bastien Nocera
+Cerrato Renaud
 Chow Loong Jin
+David Sansome
 Eric Day
+Hector Martin
 Martin Szulecki
 Nikias Bassen
+Paul Sladen