[build] Port using prebuilt instrumented libraries for msan

DEPS

Index: DEPS
diff --git a/DEPS b/DEPS
index 1c1669dc0d230ebb7564dd54c4d9a0ee88fa0e02..3369a1f5c44d50b35ae01a3fa7b8bec33beec365 100644
--- a/DEPS
+++ b/DEPS
@@ -216,6 +216,16 @@ hooks = [
     ],
   },
   {
+    # Pull sanitizer-instrumented third-party libraries if requested via
+    # GYP_DEFINES.
+    'name': 'instrumented_libraries',
+    'pattern': '\\.sha1',
+    'action': [
+        'python',
+        'v8/third_party/instrumented_libraries/scripts/download_binaries.py',
+    ],
+  },
+  {
     # Update the Windows toolchain if necessary.
     'name': 'win_toolchain',
     'pattern': '.',