Better and optional model output

[Jannis Harder]

Varisat should:

• Line wrap model output when writing to a terminal
• Have a flag to disable model output
• Have a flag to redirect model output to a file