Tagging: toggle filtering

Add an icon to toggle tag filtering widget.

Fixes bug 3077.
Tagging: reset the filter when hiding the widget

When hiding the filter widget the filtering is reset, and when
showing it again the filtering is restored back.