Rewrite formatTraceback using Builder
Rewrite formatTraceback using Builder

This is probably more efficient than the previous strategy of numerous
Text concatenations.

Also improve the formatting of an edge case when no stack frames are
present (should never happen).

verement/etamoo