Sergio Givone, Il bibliotecario di Leibniz