A little tool to make DNS queries