国立教育研究所 (Japan). 教育図書館