wire weavetools into release

bin/release

@@ -121,16 +121,13 @@ publish() {
 
     echo '** Sanity checks OK for publishing tag' $LATEST_TAG as $DOCKERHUB_USER/weave:$VERSION
 
-    echo == Tagging $DOCKERHUB_USER/weave and $DOCKERHUB_USER/weavedns as $VERSION
-    docker tag $DOCKERHUB_USER/weave $DOCKERHUB_USER/weave:$VERSION
-    docker tag $DOCKERHUB_USER/weavedns $DOCKERHUB_USER/weavedns:$VERSION
-
-    docker push $DOCKERHUB_USER/weave:$VERSION
-    docker push $DOCKERHUB_USER/weave:latest
-    echo "** Pushed $DOCKERHUB_USER/weave:$VERSION to docker hub"
-    docker push $DOCKERHUB_USER/weavedns:$VERSION
-    docker push $DOCKERHUB_USER/weavedns:latest
-    echo "** Pushed $DOCKERHUB_USER/weavedns:$VERSION to docker hub"
+    for IMAGE in weave weavedns weavetools ; do
+        echo == Tagging $DOCKERHUB_USER/$IMAGE as $VERSION
+        docker tag  $DOCKERHUB_USER/$IMAGE $DOCKERHUB_USER/$IMAGE:$VERSION
+        docker push $DOCKERHUB_USER/$IMAGE:$VERSION
+        docker push $DOCKERHUB_USER/$IMAGE:latest
+        echo "** Pushed $DOCKERHUB_USER/$IMAGE:$VERSION to docker hub"
+    done
 
     echo "== Creating GitHub release $RELEASE_NAME $VERSION"
     # This cannot be done as a draft because of a bug in