fix(shell/lean): Lua repl missing, incorrect exit code in interactive mode, missing tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(shell/lean): Lua repl missing, incorrect exit code in interactive mode, missing tests