Issue #4323: Always encode source as UTF-8 without asking

the user (unless a different encoding is declared); remove
user configuration of source encoding; all according to
PEP 3120.