Minor fix for clang++ compatibility.
Fixed a bug in Machine::init_forbidden.
Added buffering to GUI output.

Both for text output and for links. This improves performance.
Bug fixes and more tests in SbTsoBwd.
Style fixes for compiler compatibility.
More bugfixes and tests for SbTsoBwd.
Removed faulty debug print.