東大図書館など1300施設が使う蔵書検索システムが36年ぶりに刷新　電子資料に対応