Eliminate buffering of formatted trace line

[RomanSaveljev]

The mbed_tracef implementation will spend excessive time trying to calculate trace length, then formatting it to a buffer, then finally printing it out. Implementations like tinyprintf avoid that and output directly. Can we do it better?

[ciarmcom]

ARM Internal Ref: IOTSYST-1206