Tagging: toggle filtering

Add an icon to toggle tag filtering widget.

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