Issue #242: removed some old configuration parameters from DeviceConfigDB and made GatewayDeviceManager work in a multicast manner