Make sv-benchmarks script replace our RACE (without !) with NORACE
Make sv-benchmarks script replace our RACE (without !) with NORACE

This avoid misleading comments ending up in sv-benchmarks.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer