Bump version to 4.2-stable \o/

This has been another successful short release cycle for Godot 4, with
more than 1850 commits authored by over 350 contributors in 5 months!

We managed to publish 3 feature releases (4.0, 4.1, and 4.2) in a year,
for the first time ever. Despite the short development cycle, both 4.1
and 4.2 have been absolutely feature packed! We're happy with that
development pace overall, and ready to start planning our 2024 releases
with a similar workflow.

Thanks to all the contributors for your amazing work, and to the
Godot community at large for your incredible support <3

version.py

@@ -3,8 +3,8 @@
 major = 4
 minor = 2
 patch = 0
-status = "rc"
+status = "stable"
 module_config = ""
 year = 2023
 website = "https://godotengine.org"
-docs = "latest"
+docs = "4.2"