Industry Workers

Adds a 'Workers' card below the boosters in the industry window. - Assigned workers and arrivals by line at a glance - Unfold it for everybody involved: how they travel, whether they count for the worker boost and for how long, and whether they are at work right now - Find anyone on the map with the pin button next to the name Interface only - safe to add or remove at any time.