More Lua API enhancements
Add production support to the new Lua API
Port gdi04a to the new Lua API
Port gdi04b to the new Lua API
Port Intervention to the new Lua API