Hello and thank you.
If i understand you right you modify the libs so they work with Teensy
that they would no longer work on an Arduino Board?
I am not sure how these libraries could help in this project at the moment then.
But nice to see someone else had the same idea and made a central list for a 3rd party board.
If you know of any way to support this application i would be happy. 
Just to note:
I updated the Ardulibrary after i tested the method of finding the Directory where the libraries should be installed from the application.
I found out the IDE does not create the libraries directory and so now i changed the ardulibrary downloader to read the config-file of the Arduino IDE for the sketch directory and creates the libraries directory inside it.
Now the user should no longer need to search for the correct directory for himself.
ardulibrary0.1.3