Педагогический институт, библиотека