GodotRobot v0.2.5-alpha

The seventh uploaded pre-release of the mining robot simulator.

• Added version checking and version number in corner.
• Reworked tool spawner to work with any set of tools.
• Added player-on-player collisions (*which may have caused some very infrequent and random jittering...).
• Shortened brick maker considerably.
• Added chat window

*Edit 1: Updated exports to reflect recent commits that fix the jittering issue (i.e., jittering is no longer an issue in this release).
Edit 2: Updated exports to reflect new chat window.
Edit 3: Fixed bug where typing 'e' in chat dropped connected tools.