[WIP/CR] Batch crafting time reduction

We can now batch craft stuff! And it has a pleasant UI, but *batch* crafting isn't *serial* crafting, at least IRL.

The changes here represent generous and simplistic benefits of batch crafting over serial crafting. (I think the cutoff percentage should probably be higher to be not too generous...)

On the other hand making it simulation-grade would need to take into account: recipe setup time, recipe actual-crafting-time, factor for economies of scale, exact tools available, etc.

I'd like to strike a balance here making the calculation dependent only on the batch size and difficulty of the recipe, in a way that favours batch crafting but doesn't make it a cheat, hence WIP/CR status.

 
One thing here: please add documentation to doc/JSON_INFO.md (there is a section for recipes) and explain what those two values mean.