* Debug: update versions of the files generated from the spec, mostly to get new SBA registers
* Debug: Clean up Halt Summary to use new terminology
* Debug: correct the address of HALTSUM1
* Debug: use simpler expression for numHaltedStatus
* Debug: remove now defunct haltStatus addr