Python tools based on adns to perform efficient massive dns resolutions