improve "don't waste resources due to store being full" behavior
add "IndustryPrio" feature

Activates an additional slider for industry. This is mostly useful for
the lategame, where it can be desirable to not finish the current
project within as few turns as possible, but to put some workers
into other resources.