Getting version from Pono#1157

PhilippWendler merged 4 commits into

sosy-lab:mainsosy-lab/benchexec:mainfrom

Po-Chun-Chien:pono-get-versionPo-Chun-Chien/benchexec:pono-get-versionCopy head branch name to clipboard