PHP Library for encoding and decoding international domain names to and from punycode