Update komet version#40

bbyalcinkaya wants to merge 3 commits into

mainruntimeverification/komet-node:mainfrom

update-kometruntimeverification/komet-node:update-kometCopy head branch name to clipboard