Don't leave old channels laying around

* The channels present should be deterministic -- exactly those
  specified in the pins file.  The history of which other channels have
  been installed should not affect this.

* Before this change, when a channel changes names only slightly, the
  old channel could block installation of the new channel.