SaferLua [safer_lua], a subset of the language Lua for safe and secure Lua sandboxes