Allow arbitrary overrides of the form --override ... github:...#84

goodlyrottenapple merged 4 commits into

masterruntimeverification/kup:masterfrom

sam/arbitrary-overridesruntimeverification/kup:sam/arbitrary-overridesCopy head branch name to clipboard