#1 tlaSANY output should not be printed to the Console

[Steffen Zschaler]

Ideally, tlaSANY output should be integrated into the
problems pane completely, instead of flooding the
console area with it.

[Simon Zambrovski]

Logged In: YES
user_id=965016

This issue will be processed only after the whole tlaSANY
output can be interpreted in Markers