[skip changelog] Change name of generated index json (#45)

Author: silvanocerza

generator/generator.py

@@ -256,7 +256,7 @@ def generate_boards_json(input_data, arduino_cli_path):
 
     Path("boards").mkdir()
 
-    with open("boards/board_index.json", "w") as f:
+    with open("boards/module_firmware_index.json", "w") as f:
         json.dump(boards_json, f, indent=2)
 
 # board_index.json must be formatted like so: