Enable deploying code for the raspberry pis

Also, sets up a systemd service to start all the code.

Change-Id: If993426b36d0910497579ad86e330699f8a7d2e7
diff --git a/y2020/BUILD b/y2020/BUILD
index 05b9147..f3ea4d6 100644
--- a/y2020/BUILD
+++ b/y2020/BUILD
@@ -8,6 +8,7 @@
         ":config.json",
     ],
     start_binaries = [
+        "//aos/events/logging:logger_main",
         ":joystick_reader",
         ":wpilib_interface",
         "//aos/network:message_bridge_client",
@@ -18,6 +19,27 @@
     ],
 )
 
+robot_downloader(
+    name = "pi_download",
+    data = [
+        ":config.json",
+        "//y2020/www:files",
+        "//y2020/www:flatbuffers",
+        "//y2020/www:main_bundle",
+    ],
+    dirs = [
+        "//y2020/www:www_files",
+    ],
+    restricted_to = ["//tools:armhf-debian"],
+    start_binaries = [
+        "//aos/network:message_bridge_client",
+        "//aos/network:message_bridge_server",
+        "//y2020/vision:camera_reader",
+        "//aos/network:web_proxy_main",
+    ],
+    target_type = "pi",
+)
+
 cc_library(
     name = "constants",
     srcs = [