Add filtering to vector index#21916

jbajic wants to merge 36 commits intodevelarangodb/arangodb:develfrom

feature/vector-index-filteringarangodb/arangodb:feature/vector-index-filteringCopy head branch name to clipboard