İstanbul Teknik Üniversitesi, Teknik Okulu Kütüphanesi