Update WiFi Firmware Updater to 0.10.13

Author: facchinm

build/build.xml

@@ -224,8 +224,8 @@
 
     <!-- Add WiFi101 updater tool -->
     <antcall target="unzip">
-      <param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.12.zip" />
-      <param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.10.12/WiFi101-Updater-ArduinoIDE-Plugin-0.10.12.zip" />
+      <param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.13.zip" />
+      <param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.10.13/WiFi101-Updater-ArduinoIDE-Plugin-0.10.13.zip" />
       <param name="final_folder" value="${target.path}/tools/WiFi101" />
       <param name="dest_folder" value="${target.path}/tools/" />
     </antcall>

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

@@ -0,0 +1 @@
+c2d950176c19561e6f4209971586020765d5bd3e