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

Also rely less on global options.
Fixes #1213.
I changed it to "Module evaluation succeeded". If the compile succeeds the transcoding is shown but you don't get feedback that the evaluation succeeded.