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

This can be `readonly` too.