devenv: Deduplicate kani setup and devcontainer configs#145

cgwalters merged 1 commit intobootc-dev:mainbootc-dev/infra:mainfrom

henrywang:enhancementhenrywang/infra:enhancementCopy head branch name to clipboard