Adds missing workspace file

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