added AJAX fetching of libraries