Improvements to show, and new show from disc#4911

mariaKt wants to merge 10 commits intodevelopruntimeverification/k:developfrom

mk/show-from-disk-2runtimeverification/k:mk/show-from-disk-2Copy head branch name to clipboard