tools: filtering by a tag also matches tags with different name

[tomsik68]

The issue is, that if two tags are present where one tag is substring of another, filtering by the shorter one also yields results tagged with the longer one.

For example, add tags sv-comp20 and sv-comp20-prerun. Filtering by sv-comp20 also yields runs tagged as sv-comp20-prerun, which is not desired.