s2t decoder: support for -translation-details / -T option

Format has changed:

Old: Trans Opt 2999 [13..14]: [14..14]=together   [13..13]=VVINF  : NP-OA ->NP-OA  -> gemeinsam VVINF :0-1 : c=-1.18781 core=(0,-1,1,-0.946041,-1.10957,-7.12191,-1.73251,-12.2091,-0.499999,0,0)  -2.24531core=(0,-2,2,-1.54286,-2.06223,-8.34207,-3.02164,-12.2091,-0.520407,0,-16.931)

New: 2999 ||| [X] -> [VVINF] together ||| [NP-OA] -> gemeinsam [VVINF] ||| 0-1 ||| 13..13 14..14