Ability to enable/disable `may_race` checks per race digest#1669

michael-schwarz wants to merge 6 commits intomastergoblint/analyzer:masterfrom

issue_1664goblint/analyzer:issue_1664Copy head branch name to clipboard