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

It might be a good idea to rename this to `BeginRepairing` and add a matching `EndRepairing`.