Arduino Library downloader

I'm really interested in this, but at the moment I'm far too busy with Teensy 3.0.

Over the next 2 months, I'll be review and porting every major library to Teensy 3.0 (which is a 32 bit ARM-based board). You'll definitely be hearing from me as I look at all the libraries again.....