Validate project files, add order, insert version

[joneugster]

Copy of #116 by Robert J. Simmons because I don't have push access to the original PR branch in order to fix the tests.

Makes a few changes to the project validation structure.

• uses Zod parsing to take care of remaining to-dos around validating project configurations
• adds a sort order field that allows the frontend to order projects by a custom sort
• Allows project names to use templating:
  • _Vers_ will get replaced by the toolchain (e.g. v4.30.0) or by Lean if the toolchain format isn't recognized and
  • _LeanVers_ will get replaced by the toolchain plus "Lean" (e.g. Lean v4.30.0) or by Lean if the toolchain format isn't recognized

Co-authored-by: rob@lean-fro.org