(hopefully) minor bugfix to command-line arguments library, such that once it finds a single argument that isn't a value for the known options, it stops processing, so that the remainder of the command line can be passed along to a nested program, perhaps.