A selected subset of improvements from #1008 - #1010

A selected subset of improvements from #1008#1010

quickbeam123 merged 5 commits into

mastervprover/vampire:masterfrom

dragonvprover/vampire:dragonCopy head branch name to clipboard