[WIP] Add shell.nix and pin down nixpkgs revision#616

sbellem wants to merge 2 commits intointel:sgx_2.10_reproducibleintel/confidential-computing.sgx:sgx_2.10_reproduciblefrom

sbellem:nix-dockerfilesbellem/linux-sgx:nix-dockerfileCopy head branch name to clipboard