Nederlandsch Historisch Scheepvaart Museum. Bibliotheek