Added WiFi101-Updater tool

Author: cmaglie

.gitignore

@@ -49,6 +49,7 @@ build/linux/liblistSerials*
 build/shared/reference*.zip
 build/shared/Edison*.zip
 build/shared/Galileo*.zip
+build/shared/WiFi101-Updater-ArduinoIDE-Plugin*.zip
 test-bin
 *.iml
 .idea

build/build.xml

@@ -203,6 +203,14 @@
     <echo file="${target.path}/lib/version.txt" message="${version}" />
 
     <antcall target="assemble-libraries" />
+
+    <!-- Add WiFi101 updater tool -->
+    <antcall target="unzip">
+      <param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.8.0.zip" />
+      <param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.8.0/WiFi101-Updater-ArduinoIDE-Plugin-0.8.0.zip" />
+      <param name="final_folder" value="${target.path}/tools/WiFi101" />
+      <param name="dest_folder" value="${target.path}/tools/" />
+    </antcall>
   </target>
 
   <!-- copy library folder -->

build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.8.0.zip.sha

@@ -0,0 +1 @@
+b99acb415f2a1e395ac705cd22947e1e7af1df4a