New feature: Indicators can be placed in the dash.

Fixes #20.
Beware of new bug reports. If we hit bugs we can't fix, the whole
thing might be removed. It is already incompatible with Dash-to-Dock.