Add Nix flakes-based build scripts#1097

spacefrogg wants to merge 1 commit intoMetaRocq:mainMetaRocq/metarocq:mainfrom

spacefrogg:nix-flakespacefrogg/metacoq:nix-flakeCopy head branch name to clipboard