Make command-line arguments a feature; remove `argc` and `argv` from `mit_state` #280

Closed rrthomas closed 5 years ago