Arduino Library downloader

I could probably write a script to generate xml.

Is Ardulibrary still in development?