Added stripped downloader.

Change-Id: I91313eac8390af6e4b62ab5a86378c7bcf5f27dd
diff --git a/aos/BUILD b/aos/BUILD
index 73fd641..5d6831a 100644
--- a/aos/BUILD
+++ b/aos/BUILD
@@ -15,3 +15,22 @@
     '//aos/common/logging:binary_log_writer',
   ],
 )
+
+filegroup(
+  name = 'prime_binaries_stripped',
+  visibility = ['//visibility:public'],
+  srcs = [
+    # starter is hard coded to look for a non-stripped core...
+    '//aos/linux_code:core',
+    '//aos/common/logging:log_streamer.stripped',
+    '//aos/common/logging:log_displayer.stripped',
+    '//aos/linux_code/starter',
+  ],
+)
+filegroup(
+  name = 'prime_start_binaries_stripped',
+  visibility = ['//visibility:public'],
+  srcs = [
+    '//aos/common/logging:binary_log_writer.stripped',
+  ],
+)