Add "encoding" configuration.

Encoding of input files should be determined by site settings (configuration).

Currently, it is determined by OS or environment settings implicitly.
This patch make it configurable.