Description

The search feature only searches for the project name. It should be possible to search for tags too.
Follow up to #348

Implementation

The search feature should be easy to use, so a dropdown filter would fit.
Similar to the github search feature a prefix "tags:" or "projects:" shall be added.