feat: add optional Nix container flavor for docker-git projects#56

skulidropek wants to merge 2 commits intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

skulidropek:issue-36-cleanskulidropek/docker-git:issue-36-cleanCopy head branch name to clipboard