Use Unicode symbols in tree and table dumps for better readability.

This is controlled by the new config option slick.unicodeDump and
enabled by default in testkit/test.
Merge pull request #976 from slick/tmp/unicode-dumps

More readable tree and table dumps with Unicode box characters