Add production support to Lua API, port gdi04a, gdi04b and intervention missions