Update arduino-builder to 1.3.11

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

@@ -1 +0,0 @@
-26377e7ef2fb521c2321a896c3cdece0188dd630

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

@@ -0,0 +1 @@
+bd7e378b422312d2564cd94f770569607292a9e4

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

@@ -1 +0,0 @@
-c12d4444718f18d52bf12b62d2158b426212d777

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

@@ -0,0 +1 @@
+e48746e807410b4e71ac8bef6d822c7e7ddb0dc2

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

@@ -1 +0,0 @@
-c164df8696423a72fdceef75e70d73f0b9aaa8ec

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

@@ -0,0 +1 @@
+4f0db525df3e391c818cad56221d428cfc626682

build/arduino-builder-windows-1.3.10.zip.sha

@@ -1 +0,0 @@
-c52b8da5ee46c5f50d8d53781faed9834173c824

build/arduino-builder-windows-1.3.11.zip.sha

@@ -0,0 +1 @@
+5b2e4b95adbf4262ee20b1ec9c263c285dd1829c

build/build.xml

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