Remove overlay in favor of env var#1

samuelburnham wants to merge 3 commits intodevargumentcomputer/risc0.nix:devfrom

remove-overlayargumentcomputer/risc0.nix:remove-overlayCopy head branch name to clipboard