Introduce compiler timing script & CI job#4154

carolynzech merged 13 commits intomodel-checking:mainmodel-checking/kani:mainfrom

AlexanderPortland:compiler-timing-ciAlexanderPortland/kani:compiler-timing-ciCopy head branch name to clipboard