Reject bad command-line options with a non-zero exit status - #884

Reject bad command-line options with a non-zero exit status#884

mernst merged 15 commits into

codespecs:mastercodespecs/daikon:masterfrom

mernst:bad-option-coremernst/daikon:bad-option-coreCopy head branch name to clipboard