Put shell.nix with the rest of the fire

Having this file out of the directory where it's used already confused us once. I think the obelisk directory is a better place for it.

I guess this will at least once interrupt @jcalderone's and maybe also @shae's workflow, so not optimistically merging this one.