Use the downloaded clang when building for armhf-debian

This makes it work on a barebones Stretch installation.

Also add building for this CPU to the CI script so we know it keeps
working, which means marking everything that's supposed to work
appropriately.

Change-Id: Ic050ce20eae45c6b23e0e42dddb24db3ebc70b84
diff --git a/aos/common/network/BUILD b/aos/common/network/BUILD
index c5476b2..470969f 100644
--- a/aos/common/network/BUILD
+++ b/aos/common/network/BUILD
@@ -1,49 +1,51 @@
-package(default_visibility = ['//visibility:public'])
+package(default_visibility = ["//visibility:public"])
 
 cc_library(
-  name = 'team_number',
-  srcs = [
-    'team_number.cc',
-  ],
-  hdrs = [
-    'team_number.h',
-  ],
-  deps = [
-    '//aos/linux_code:configuration',
-    '//aos:once',
-    '//aos/common/logging',
-    '//aos/common/util:string_to_num',
-  ],
+    name = "team_number",
+    srcs = [
+        "team_number.cc",
+    ],
+    hdrs = [
+        "team_number.h",
+    ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
+    deps = [
+        "//aos:once",
+        "//aos/common/logging",
+        "//aos/common/util:string_to_num",
+        "//aos/linux_code:configuration",
+    ],
 )
 
 cc_library(
-  name = 'socket',
-  srcs = [
-    'receive_socket.cc',
-    'send_socket.cc',
-    'socket.cc',
-  ],
-  hdrs = [
-    'receive_socket.h',
-    'send_socket.h',
-    'socket.h',
-  ],
-  deps = [
-    '//aos/common/logging',
-    '//aos/common:time',
-    '//aos/common/util:inet_addr',
-    '//aos/linux_code:configuration',
-  ],
+    name = "socket",
+    srcs = [
+        "receive_socket.cc",
+        "send_socket.cc",
+        "socket.cc",
+    ],
+    hdrs = [
+        "receive_socket.h",
+        "send_socket.h",
+        "socket.h",
+    ],
+    deps = [
+        "//aos/common:time",
+        "//aos/common/logging",
+        "//aos/common/util:inet_addr",
+        "//aos/linux_code:configuration",
+    ],
 )
 
 cc_test(
-  name = 'team_number_test',
-  srcs = [
-    'team_number_test.cc',
-  ],
-  deps = [
-    ':team_number',
-    '//aos/testing:googletest',
-  ],
+    name = "team_number_test",
+    srcs = [
+        "team_number_test.cc",
+    ],
+    deps = [
+        ":team_number",
+        "//aos/testing:googletest",
+    ],
 )
-