Clean up DNS records in CI
For CI machines, we create DNS records automatically: an A-record for $branchName.ci.stackspin.net
and a wildcard CNAME for all its subdomains. These are not deleted when the branch is merged, so the set of DNS records for stackspin.net
grows without bound.
We should delete those records when the CI machine is destroyed.