Kongelige Norske videnskabers selskab. Biblioteket