5a0c0e20

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Use Set Text for settingFilterIds / flagFilterIds

Duplicate --filter-id values are meaningless, so store them in a Set.
Also simplifies applyFilterIds and makes execTestDefM' call runTestDefM
directly rather than going through execTestDefM.

Suite timing

Time to Start Worker time Duration Time to finish
Config 5m06s 6s 6s 5m12s
Eval 5m15s 2m18s 2m18s 7m34s
Build 11m05s 9m50s - -
Test - - - -
Deploy - - - -
Suite 5m06s 12m15s - -