Making progress on loading REDD

* Can now load arbitrary channel.
* Loads mains data into memory.
* added a `load_redd.py` example.

Also changed a small detail in the comments for Electricity:
* REDD channels are indexed from 1 so I figured that we should
  probably index channels and meters from 1 too.