Arveson's version of the Gauss-Bonnet-Chern formula for Hilbert modules