Made the device configuration type-safe:

- introduced a simple DeviceConfiguration type that holds all
  configuration data for a Device;
- adapted current devices to make use of new DeviceConfiguration
  construct;
- some pending UI code.
Latest revision of LibTDL.