devcontainer: add gh CLI#29

RaoulSchaffranek wants to merge 3 commits into

mainruntimeverification/komet-node:mainfrom

devex/add-gh-cliruntimeverification/komet-node:devex/add-gh-cliCopy head branch name to clipboard