optimize regex_intersect()
intersect multiple sets at once
remove unused intersect() functions
replace set with sorted vector in some places
fix docs
regex_index uses a sorted vector of line numbers
don't need to work on those any more