Added stuff for reading DHCP options via the DhcpMessageOverlay class.