feat(lua): expose format objects in the Lua bindings

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(build): check if the Lua installed in the system supports lua_newstate

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(lua): add set_global_function template, and to_name_ext function

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(lua): expose basic API for Lean expressions in the Lua bindings

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