Add race detection as a target (-target race)
Don't report duplicate results in race detection
Improve output