Version v0.83 is now available

What's new:
- adjusted AI astronaut behaviour, especially when repairing buildings
- fixed tooltips for mining items