Added unicode default for jlfe.
Added support for passing options to REPLs.