Phase out devcoin,org for DNS seeds in favour of dvcnode.org