Ben Gamari authored Jan 25, 2023 and Matthew Pickering committed Feb 01, 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.

(cherry picked from commit a2d814dc)