Board Manager: searching returns also near matches

The original filter would only populate the contribution list with perfect matches.

Previously, if a core was installed but didn't match the search it wouldn't appear in the results (due to a board being added or the description changed);
the user could then install (not upgrade) the core, triggering a confusing situation.

When moving to arduino-cli backend we should take care of this issue, at least visually (the cli logic would correctly update/downgrade the core)

Author: facchinm

Diff for: app/src/cc/arduino/contributions/packages/ui/ContributedPlatformReleases.java

@@ -59,6 +59,12 @@ public boolean shouldContain(ContributedPlatform platform) {
     return platform.getArchitecture().equals(arch);
   }
 
+  public boolean contains(ContributedPlatform platform) {
+    return (platform.getParentPackage().equals(packager)
+        && platform.getArchitecture().equals(arch)
+        && versions.contains(platform.getParsedVersion()));
+  }
+
   public void add(ContributedPlatform platform) {
     releases.add(platform);
     String version = platform.getParsedVersion();

Diff for: app/src/cc/arduino/contributions/packages/ui/ContributionIndexTableModel.java

@@ -65,11 +65,21 @@ private void updateContributions() {
                                           + platform.getBoards().stream()
                                               .map(ContributedBoard::getName)
                                               .collect(Collectors.joining(" "));
+
+        // Add all the versions of the same core, even if there's no match
+        for (ContributedPlatformReleases contribution : contributions) {
+          if (contribution.shouldContain(platform)) {
+            addContribution(platform);
+            continue;
+          }
+        }
+
         if (!filter.test(platform)) {
           continue;
         }
         if (!stringContainsAll(compoundTargetSearchText, filters))
           continue;
+
         addContribution(platform);
       }
     }
@@ -97,12 +107,16 @@ private boolean stringContainsAll(String string, String set[]) {
 
   private void addContribution(ContributedPlatform platform) {
     for (ContributedPlatformReleases contribution : contributions) {
-      if (!contribution.shouldContain(platform))
+      if (!contribution.shouldContain(platform)) {
         continue;
+      }
+      if (contribution.contains(platform)) {
+        // no duplicates
+        return;
+      }
       contribution.add(platform);
       return;
     }
-
     contributions.add(new ContributedPlatformReleases(platform));
   }