Improving kompile's --help and --help-hidden messages using descriptors#3638

rv-jenkins merged 5 commits intodevelopruntimeverification/k:developfrom

improve-kompile-help-flag-descriptorsruntimeverification/k:improve-kompile-help-flag-descriptorsCopy head branch name to clipboard