「メールが使えない」の恐怖を解消。サーバー移管時のDNS浸透を即座に確認する自作ツールを公開