feat(lua/util): remove dependency on luaL_setfuncs

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(lua): allow Lean to be compiled with Lua 5.1 and LuaJit

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>