Add non-git fallback snapshotting for git_changed_files#271

mmprotest wants to merge 5 commits into

mainmmprotest/villani-code:mainfrom

mmprotest/fix-dirty-file-detection-for-non-git-workspacesmmprotest/villani-code:mmprotest/fix-dirty-file-detection-for-non-git-workspacesCopy head branch name to clipboard