Mirror of ISC DHCP from https://source.isc.org/git/dhcp.git, plus local patches of my own