lib for manipulation of dhcpd config/leases files in python