Just a few fixes and improvements, mainly with repair changes.
- Improve: User repair check can call more often.
- Improve: Repair bots don't just stay in one place whilst fixing.
- Fix: Internal floor tile test not check construction corners - optimise floor check algo.
- Fix: Refinery info window processing settings layout for languages.
- Fix: Repair time of mining bots and droids. Was too quick, needs to be proportional to build time.