zipped library files

[MatrixMike]

A work in progress - combine files into zip facilitates easy management by Arduino IDE

[GiorgioAresu]

Hey, thanks for the PR. I'm a bit outdated on the Arduino stuff, can you expand a bit what do you mean? I'll clarify, does the IDE require/prefer an archive in a specific location? I don´t really like the zip file being manually added to the repo, I´d rather have a github action creating it, if the IDE wants the file there (and in a specific name). An alternative could be to use .gitattributes to ignore unneeded files and rely on the automatic archive that github creates, if the purpose is just to have a cleaner zip that can be downloaded and manually handled within the IDE