Add nix-shell development environment#206

shueja merged 1 commit intoSleipnirGroup:mainSleipnirGroup/Choreo:mainfrom

max-niederman:nix-shellmax-niederman/Choreo:nix-shellCopy head branch name to clipboard