44.Commit:	performance_search now skips previously measured configs
greschd

DONE:
- performance_search keeps track of the searched configs and skips duplicates