Or rather: TODO: make stdin/stdout configurable so it also works for eUSCI_A1.

AspectC++ is not aware of the type "__int20", so we need to map it to a type
known to AspectC++ (only for ag++, not g++) and fix its autogenerated
constructor signatures.

+= does not work for variables specified on the commandline unless
the 'override' keyword is used

reported current is inaccurate (>8% energy deviation).
Also, EnergyTrace++ significantly increases sleep/wakeup times and thus
affects the sytem's timing.