Enhancement: Search tag filter

The search result page now has a tag filter which can be used to filter the displayed search result by tags.

https://github.com/owncloud/web/pull/9044
https://github.com/owncloud/web/pull/9096
https://github.com/owncloud/web/issues/9054
