Punycode (RFC3492) in OCaml