Update the servers encoding list: whois.nic.or.kr

whois.nic.or.kr switched from EUC-KR to UTF-8.

Fixes Ubuntu bug LP#1132526.
Debian changelog for 5.0.23