update arduino-builder to 1.3.13

Author: facchinm

build/arduino-builder-arm-1.3.13.tar.bz2.sha

@@ -0,0 +1 @@
+e899d2a71c115bfe8f73d082d27951feef964d43

build/arduino-builder-linux32-1.3.11.tar.bz2.sha

@@ -0,0 +1 @@
+b74cdcdc3056ce130e72b5f7b3812958b6e7b690

build/arduino-builder-linux32-1.3.13.tar.bz2.sha

@@ -0,0 +1 @@
+d151d4111fd1a8127f27b276787c13a0dd98549e

build/arduino-builder-linux64-1.3.11.tar.bz2.sha

@@ -0,0 +1 @@
+c92710bf6f124a6af0bcf280da699ea0a1727897

build/arduino-builder-linux64-1.3.13.tar.bz2.sha

@@ -0,0 +1 @@
+ef802468ff5e196231c2599a0b5f2f2dd41c61a3

build/arduino-builder-macosx-1.3.11.tar.bz2.sha

@@ -73,7 +73,7 @@
 
   <property name="portable" value="false" />
 
-  <property name="ARDUINO-BUILDER-VERSION" value="1.3.11" />
+  <property name="ARDUINO-BUILDER-VERSION" value="1.3.13" />
 
   <!-- Libraries required for running arduino -->
   <fileset dir=".." id="runtime.jars">
@@ -923,7 +923,7 @@
     <copy file="${staging_folder}/arduino-builder-windows/arduino-builder.exe" tofile="windows/work/arduino-builder.exe" />
     <chmod perm="755" file="windows/work/arduino-builder.exe" />
     <move file="${staging_folder}/arduino-builder-windows/tools" tofile="windows/work/tools-builder"/>
-    <chmod perm="755" file="windows/work/tools-builder/ctags/5.8-arduino7/ctags.exe" />
+    <chmod perm="755" file="windows/work/tools-builder/ctags/5.8-arduino9/ctags.exe" />
     <copy todir="windows/work/hardware" overwrite="true">
       <fileset dir="${staging_folder}/arduino-builder-windows/hardware" includes="*.txt"/>
     </copy>