Validate project files, add order, insert version#116

robsimmons wants to merge 7 commits into

leanprover-community:mainleanprover-community/lean4web:mainfrom

robsimmons:config-validaterobsimmons/lean4web:config-validateCopy head branch name to clipboard