Configuring plugin loader using dhcp

I've extended the dhcp client to understand a new DHCP option that holds a plugin loader URL.
This allows the dhcp command to configure a plugin loader besides configuring a network device.
It is an alternative for the "plugin addloader" command.

To use this, configure your DHCP server such that option 130 contains the URL of the plugin loader.
Then run the "dhcp" command in JNode and if all goes well, you'll see a "Got plugin loader URL" message in the console.

Ewout