Examples of arch-independent libs from Arduino goes into Examples for any board

The other cases remain unchanged

Author: cmaglie

app/src/processing/app/Base.java

@@ -1205,7 +1205,13 @@ public void rebuildExamplesMenu(JMenu menu) {
       // Sketchbook Libraries (including incompatible)
       } else if (libraryLocation.equals(sketchbookLibraryPath)) {
         if (compatible) {
-          sketchbookLibs.add(lib);
+          // libraries promoted from sketchbook (behave as builtin)
+          if (lib.getTypes() != null && lib.getTypes().contains("Arduino")
+              && lib.getArchitectures().contains("*")) {
+            ideLibs.add(lib);
+          } else {
+            sketchbookLibs.add(lib);
+          }
         } else {
           sketchbookIncompatibleLibs.add(lib);
         }