Add explicit --argv option to do what coconut-run does #286
Description
Should add --argv option such that coconut-run source is equivalent to coconut -rq -t sys source --argv. Should only be allowed with --run.
{{ message }}
Should add --argv option such that coconut-run source is equivalent to coconut -rq -t sys source --argv. Should only be allowed with --run.