Arduino Library downloader

I'm interested in contributing to this, maybe we should set up a group somewhere, so we can talk and decide how to proceed.

I'd like to focus on the web/backend and maybe you should focus on the client?

We could continue our discussion here, so all can contribute with feedback/questions etc etc.

What you think?