Portugal historic library will be renovated