support formatted message in RTprintTimer.
add name of trace to timer.
append file name for verbose output. Makes more sense when writing multiple files at the same time.
show amount of next-state calls relative to the speed of the language front-end
fixed thread unsafe code for the --pins-guards option.