Build and include `kani-cov` in the bundle #8746

Job	Run time
benchcomp-tests	4m 39s
documentation	2m 7s
perf	33m 58s
regression (macos-13)	44m 43s
write-json-symtab-regression	16m 21s
regression (ubuntu-20.04)	28m 26s
regression (ubuntu-22.04)	28m 4s
regression (macos-14)	29m 30s
	3h 7m 48s

Provide feedback