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

Same comment here as above.