Improve tags filtering

[tnajdek]

Currently we do tag filtering locally, i.e. all tags for current view are fetched and filtered by the query. We can improve this by querying the API to do the filtering, however this is currently doing case-sensitive search. Once zotero/dataserver#2 is addressed we should revisit to improve search performance.