[skip changelog] Change name of generated index json by silvanocerza · Pull Request #45 · arduino/arduino-fwuploader