Adds missing workspace file

Change-Id: I37b569bdb4f91e6b7e1a99ba21884a1406eafc23
diff --git a/WORKSPACE b/WORKSPACE
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/WORKSPACE