refactor(lua): add goodies for accessing Lean values on the Lua stack

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

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