Optimize set.matched().

Take advantage of the fact that the array of indexes returned from
the vre2 call is now sorted (but still using a linear search).
.gitlab-ci.yml not found in this commit