Update Python to version 3.13.9

We have been using a pretty old release of Python 3.12 for the launcher. While we could have updated to the newest release of Python 3.12, I se no reason why we shouldn’t go directly to Python 3.13. After all, this version has been around for a while, and it does not introduce any breaking changes in the context of the launcher.