Feature: Guess encoding when loading/saving files.

  -- first encoding from a "coding:" line is tried
  -- next default_encoding given in the config file
  -- next unicode
  -- finally ascii

FIXME: No error is given to the user if saving a file leads to
saving it in ascii and discarding non-ascii characters.
BugFix: Fix ugly scrollbar in editor widget.