decode_charset_encoding() is now more paranoid about the decoder function. Rev: server/protocols/http.pike:1.185