Add support for user-defined DNS64 prefixes

[JordanMilne]

A network admin may configure their DNS64 instance to use a prefix other than the well-known prefix, which is in the private IP space. We want to allow people to specify ranges that should be treated the same as the DNS64 WK prefix.