Arduino Library downloader

If there is an xml I'll create a wizard for eclipse as well
Best regards
Jantje