Move VERSION.txt to scripts directory and update all references#7811

NikolajBjorner merged 2 commits intomasterZ3Prover/z3:masterfrom

copilot/fix-c56d64d5-753c-48f0-9e5e-fe38c574e215Z3Prover/z3:copilot/fix-c56d64d5-753c-48f0-9e5e-fe38c574e215Copy head branch name to clipboard