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',
+  ],
+)
diff --git a/y2016/BUILD b/y2016/BUILD
index 7dc41a2..ccb1315 100644
--- a/y2016/BUILD
+++ b/y2016/BUILD
@@ -57,3 +57,19 @@
     '//aos:prime_binaries',
   ],
 )
+
+aos_downloader(
+  name = 'download_stripped',
+  start_srcs = [
+    ':joystick_reader.stripped',
+    '//aos:prime_start_binaries_stripped',
+    '//y2016/control_loops/drivetrain:drivetrain.stripped',
+    '//y2016/control_loops/superstructure:superstructure.stripped',
+    '//y2016/control_loops/shooter:shooter.stripped',
+    '//y2016/autonomous:auto.stripped',
+    '//y2016/wpilib:wpilib_interface.stripped',
+  ],
+  srcs = [
+    '//aos:prime_binaries_stripped',
+  ],
+)