improve quick filter

[jtorjo]

            // possible optimization:
            // if the new quick filter is a subset of the former filter, I should run it only on the former sorted_line_indexes