[administrivia] Update gitignore files

- Add more stuff, archive libraries, etc..
diff --git a/ripd/.gitignore b/ripd/.gitignore
index 510124a..9bcfb63 100644
--- a/ripd/.gitignore
+++ b/ripd/.gitignore
@@ -14,4 +14,4 @@
 .arch-ids
 *~
 *.loT
-
+*.a