Merge pull request #8166 from per1234/start-1_8_8

Start Arduino IDE 1.8.8

Author: facchinm

arduino-core/src/processing/app/BaseNoGui.java

@@ -42,9 +42,9 @@
 public class BaseNoGui {
 
   /** Version string to be used for build */
-  public static final int REVISION = 10807;
+  public static final int REVISION = 10808;
   /** Extended version string displayed on GUI */
-  public static final String VERSION_NAME = "1.8.7";
+  public static final String VERSION_NAME = "1.8.8";
   public static final String VERSION_NAME_LONG;
 
   // Current directory to use for relative paths specified on the