Log python version used by competitor code

[PeterJCLaw]

It looks like Webots might actually support Python 3.12, even though it doesn't claim to. Having just tried it locally (on Windows 10) it seems to work at least.

However this does mean that if competitors are using 3.12 locally they could hit issues which aren't supported and/or get bitten at the competition if there's features they're expecting which aren't actually present. If we log the Python version used then:

• if they share their logs with us we'll know what they're using, so we can provide better help
• they'll see in the logs when we run their code they'll know what version was used, enabling them to better understand any errors