Escuela nacional preparatoria, Mexico. Biblioteca