Stratum and GUI bugfixes
Stratum: don't use asynchat's push because the bug does occur in old
versions
GUI: proper hiding/showing of window and autoscroll