Changed the name of the character encoding properties we provide in
'bladerunner.conf' so that people can actually understand what they are
really for, since the old names were slightly cryptic, leading to
misunderstandings and bugs.