Set directory paths used with dedicated build node

Change-Id: Ie1b6301e5cd788504d792af387c976339ce17f13
diff --git a/config/onlab_develop_pod.yml b/config/onlab_develop_pod.yml
index dfda974..6f3ce06 100644
--- a/config/onlab_develop_pod.yml
+++ b/config/onlab_develop_pod.yml
@@ -16,7 +16,9 @@
   # directories on the head node that the cord dir is copied to, and profile is created in
   cord_dir: '/opt/cord'
   cord_profile_dir: '/opt/cord_profile'
-
+  credentials_dir: '/opt/credentials'
+  pki_dir: '/opt/pki'
+  ssh_pki_dir: '/opt/ssh_pki'
 
   # all of these are written to genconfig/config.yml, and needs a rework