fix(examples/lean/tactic_in_lua): try to make sure the example works when using LuaJIT

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(examples/lean/tactic_in_lua): try to make sure the example works when using LuaJIT