Update.
Further extension of output, and appending to output-files now.

Also statistics-output now can be directed.
Extended timing, including ctawSolver now.

And the local version uses the local solver now.
And logging solver-output.