Change to resolver list generation

This should not have any impact on you if you use the dnscry.pt resolvers and/or resolver lists.
No changes are required on your side.

A small change has been made to the resolver list generation tool: The port is no longer contained in the DNS stamps if the default port is used.