mix: M2.5 part1

M2.5.    [Auto-Transactions]
Possibililty to name several transactions and inspect/debug their execution.
One final remark ( :-) ): An empty source file is now legal solidity, so it might well be that there is no contract at all.