Further updates to REDD #22:

* use ints for DataSet.buildlings #57
* list DUD_CHANNELS
* change from MultiSupply to DualSupply
* define DualSupply as just channels which appear some time after the
  previous one, not necessarily precisely consecutive
* document ideas about specifying what component each supply supplies