Calling it a 'very difficult decision,' Institute for Jewish Research says archival staff will now help run the library