administration tool to dump DNS records from a MySQL database to tinydns format