Shorten hashes in kup list in narrow terminal#125

anvacaru merged 3 commits intomasterruntimeverification/kup:masterfrom

sam/list-width-adaptiveruntimeverification/kup:sam/list-width-adaptiveCopy head branch name to clipboard