fixed a bug in OptionManager#set_encoding() in pseudohiki2html.rb