Merge commit '55c543272667022808c0ca3ac8c6006a1337de9f' as 'third_party/google-benchmark'

Change-Id: Ie16a1447cdda711c30436e014cd41804b9fd7c5b
diff --git a/third_party/google-benchmark/WORKSPACE b/third_party/google-benchmark/WORKSPACE
new file mode 100644
index 0000000..54734f1
--- /dev/null
+++ b/third_party/google-benchmark/WORKSPACE
@@ -0,0 +1,7 @@
+workspace(name = "com_github_google_benchmark")
+
+http_archive(
+     name = "com_google_googletest",
+     urls = ["https://github.com/google/googletest/archive/3f0cf6b62ad1eb50d8736538363d3580dd640c3e.zip"],
+     strip_prefix = "googletest-3f0cf6b62ad1eb50d8736538363d3580dd640c3e",
+)