Implement internationalized domain names (IDN)

This is to allow non-ASCII characters in domain names. See https://en.wikipedia.org/wiki/Internationalized_domain_name and https://discuss.freedombox.org/t/system-name-services-umlaut/3669