PHP/HTML interface for adding mac addresses to Linux DHCP