Update komet version#40

bbyalcinkaya merged 3 commits into

mainruntimeverification/komet-node:mainfrom

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