[Monitor] do not print out thread IDs by default

[ekiwi]

It would make it easier to change the monitor scheduler if we did not print out thread IDs, especially in the context of test output,

[ngernest]

Addressed in #181