fix(shell/lean.cpp): fix not to overwrite optind by getopt_long
fix(shell/lua_repl.h): use loadstring for Lua-5.1 instead of load
fix(shell/lua_repl.h): use loadstring for Lua-5.1 instead of load