Ben Gamari authored Jan 25, 2023 and Marge Bot committed Jan 31, 2023

Teach the `configure` script to create the `VERSION` file.
This will serve as the stable interface to allow the user to determine
the version number of a working tree.

Fixes #22322.