Adapt printout of DUT Info() function: use TBM core terms "alpha" & "beta"
Remove tbmid - the respective core is directly store in the registers.
This makes it possible to program the cores separately instead of writing
the same value to one register in both cores "alpha" and "beta".
Adapt initTBM routine in HAL (now: initTBMCore) to call setTbmRegs without
a tbmid.
API behaviour change: Adapt processing of TBM registers. This works in the
following way now:
* Supplying one vector of TBM register settings will result in both TBM cores
  being programmed with these settings (i.e. they are duplicated to the second
  core)
* Suppplying two vectors if TBM register settings assigns the first to the "alpha"
  TBM core and the second to the "beta" core, i.e. it is possible to program
  the two cores independently.
Also the setTbmReg() routines have been adapted, the one w/o tbmid acts on both
cores, the other one only on the core specified (0,1)

This fixes psi46/pxar#73