Update library list model after a round of library_index.json update

Author: cmaglie

app/src/cc/arduino/contributions/libraries/ui/LibraryManagerUI.java

@@ -200,6 +200,7 @@ protected void onUpdatePressed() {
       try {
         setProgressVisible(true, "");
         installer.updateIndex(this::setProgress);
+        ((LibrariesIndexTableModel) contribModel).update();
         onIndexesUpdated();
       } catch (Exception e) {
         throw new RuntimeException(e);