A small DNS name server using the Twisted framework