Hi Paul,
sorry that i was silent for so long again.
I learned much new in the meantime for programming.
And i would like to do some stuff a bit different in this project now as i learned.
I don´t know if arduino already has some sort of library management already.
I updated the tool to allow multiple repositories. I have added your xml and my xml to the list.
Pauls list is the default.
There can easily added more to the list with the repositories.txt file.
The new Version is here:
http://ardulibrary.code-i.de/_media/dl/ardulibrary0.1.6.zip
I am not sure why the download got smaller. But i hope it still works for everyone.