devtools/prodimage: create

We start having the need to have our own production image instead ofjust
a bare Ubuntu image. For instance, octorpki will need rync and TLS CA
bundles.

Change-Id: Ia8d9604ae8c320f858cfe8a2dc21ddcc321017ff
diff --git a/WORKSPACE b/WORKSPACE
index 439ac1f..0a7a532 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -27,6 +27,7 @@
 docker_toolchain_configure(
     name = "docker_config",
     client_config = "",
+    docker_path = "/usr/bin/docker",
 )
 
 load(
@@ -85,10 +86,10 @@
 
 container_pull(
     name = "prodimage-bionic",
-    registry = "index.docker.io",
-    repository = "library/ubuntu",
-    tag = "bionic-20190515",
-    digest = "sha256:b36667c98cf8f68d4b7f1fb8e01f742c2ed26b5f0c965a788e98dfe589a4b3e4",
+    registry = "registry.k0.hswaw.net",
+    repository = "q3k/prodimage",
+    tag = "20190725-1806",
+    digest = "sha256:169ca347eb5daa140dd61a9af71db5efe2abd7ac618cfd162375481cd91d5db8",
 )
 
 container_pull(
@@ -532,3 +533,4 @@
     commit = "d2d2541c53f18d2a059457998ce2876cc8e67cbf",
     importpath = "gopkg.in/inf.v0",
 )
+