dhcp_clientv4.ml and dhcpv4_option.ml: removed debug output