Revert "Stop publish examples to mongoose repo"

This reverts commit 1a17e17c462bdd4e1d26d8742f8b7087273e04c2.

PUBLISHED_FROM=80028de308c9a021955d1425d2bfee8feb85f193

examples/STM32F4_CC3100/Makefile

@@ -0,0 +1,12 @@
+SDK ?= $(shell cat sdk.version)
+SRC_DIR ?= $(realpath ../..)
+
+.PHONY: all clean
+
+MAKEFLAGS += w
+
+all clean:
+	docker run --rm -i -v $(SRC_DIR):/src $(SDK) \
+		/bin/bash -c "\
+			make -C /src/examples/STM32F4_CC3100 -f Makefile.build $@ -$(MAKEFLAGS) \
+		"