Update minimum supported Godot version to v4.2

According to https://docs.godotengine.org/en/stable/about/release_policy.html#release-support-timeline, Godot v4.1 is not supported anymore. Thus, we can reasonably bump the minimum version to v4.2, in order to benefit from newer GDScript features (currently marked in the code as `# UPGRADE` snippets)