DHCP server for the Floodlight OpenFlow controller