mix: M2.5 part1

M2.5.    [Auto-Transactions]
Possibililty to name several transactions and inspect/debug their execution.
For now there is only one possible ContractDefinition for the entire application. But this might change in the future. So we will have be careful with that.