Split compiler flags to avoid dependency recompilation#4211

tautschnig merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom

AlexanderPortland:split-flagsAlexanderPortland/kani:split-flagsCopy head branch name to clipboard