Add git revision and rustc version info to verbose version output#4466

tautschnig wants to merge 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:fix-2872-verbose-versiontautschnig/kani:fix-2872-verbose-versionCopy head branch name to clipboard