Insert repl options at top of file based on user's choices.

Also rely less on global options.
Fixes #1213.
Kind of wish it would not print `--asyncFunctions=true` but `--async-functions`

- [ ] Use dash name
- [ ] Don't include `=true`