removed demo.mix
Merge pull request #4750 from Mailaender/demo-mix

Removed demo.mix
Renamed WRange to WDist.
It is generally easier to understand this name.
CHANGELOG entry.