lua51-repl: Added