Fix --version for new branch structure#2407

rv-jenkins merged 4 commits intomasterruntimeverification/k:masterfrom

version-flag-fixruntimeverification/k:version-flag-fixCopy head branch name to clipboard