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

I'd like to do that in a separate pr that I had planned