Simple DNS tools written in Python 3