Ибн Хузайль аль-Андалуси, каталог книг