repl: ignore empty lines

as discussed in #7217