Clone of official tools

Revision:
39:c98cb013e99f
diff -r 399953da035d -r c98cb013e99f export/.mbed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/export/.mbed	Wed Jul 19 16:44:30 2017 -0500
@@ -0,0 +1,1 @@
+ROOT=.