This is generated using git describe. A file is used, because it should
not trigger a rebuild everytime, but a rebuild of CONSTANTS.py must be
triggered on checkout, even if its sources are never changed. The file
is also updated, by a git-checkout hook. This must be added manually
since it can't be version controlled.

The version is printed at startup.