update publish.sh for core subdir (missed in PR#20) (#21)

diff --git a/tools/travis/publish.sh b/tools/travis/publish.sh
index d38aed9..11fe401 100755
--- a/tools/travis/publish.sh
+++ b/tools/travis/publish.sh
@@ -30,7 +30,7 @@
 
 if [[ ! -z ${RUNTIME} ]]; then
 TERM=dumb ./gradlew \
-:${RUNTIME}:distDocker \
+core:${RUNTIME}:distDocker \
 -PdockerRegistry=docker.io \
 -PdockerImagePrefix=${IMAGE_PREFIX} \
 -PdockerImageTag=${IMAGE_TAG}
@@ -39,7 +39,7 @@
   if [ ${IMAGE_TAG} == "nightly" ]; then
   SHORT_COMMIT=`git rev-parse --short HEAD`
   TERM=dumb ./gradlew \
-  :${RUNTIME}:distDocker \
+  core:${RUNTIME}:distDocker \
   -PdockerRegistry=docker.io \
   -PdockerImagePrefix=${IMAGE_PREFIX} \
   -PdockerImageTag=${SHORT_COMMIT}