A small DHCP server in python