Time-out print-out in flatzinc.

Changing message TIME-OUT in flatzinc to be a comment when printed.