Changing order of boards in boards menu: built-in first, boards manager second,

sketchbook hardware folder third. Each group if sorted by alpha, case
insensitive. Fixes #2650

Author: Federico Fissore

Diff for: arduino-core/src/cc/arduino/contributions/packages/ContributionsIndexer.java

@@ -327,6 +327,15 @@ public List<TargetPackage> createTargetPackages() throws TargetPlatformException
         packages.add(targetPackage);
       }
     }
+
+    Collections.sort(packages, new Comparator<TargetPackage>() {
+      @Override
+      public int compare(TargetPackage p1, TargetPackage p2) {
+        assert p1.getId() != null && p2.getId() != null;
+        return p1.getId().toLowerCase().compareTo(p2.getId().toLowerCase());
+      }
+    });
+
     return packages;
   }
 

Diff for: arduino-core/src/processing/app/BaseNoGui.java

@@ -621,10 +621,10 @@ static public void initPackages() throws Exception {
     }
     indexer.syncWithFilesystem(getHardwareFolder());
 
-    packages = new HashMap<String, TargetPackage>();
+    packages = new LinkedHashMap<String, TargetPackage>();
     loadHardware(getHardwareFolder());
-    loadHardware(getSketchbookHardwareFolder());
     loadContributedHardware(indexer);
+    loadHardware(getSketchbookHardwareFolder());
     createToolPreferences(indexer);
 
     librariesIndexer = new LibrariesIndexer(BaseNoGui.getSettingsFolder(), indexer);