DNS server side filtering

The following methods now rely on server side filters:
 * DNSManager.get_zone
 * DNSManager.get_records

DNSManager.get_zone now has an optional parameter of `records` which defaults to true