Add missing shell.nix in docker image

Remove unused line in shell.nix

Author: sbellem

linux/reproducibility/Dockerfile

@@ -20,6 +20,7 @@ RUN touch .bash_profile \
 && . /home/user/.nix-profile/etc/profile.d/nix.sh \
 && nix-env -i /nix/store/681354n3k44r8z90m35hm8945vsp95h1-glibc-2.27
 
+COPY shell.nix /home/user/
 #config nix-shell
 RUN . /home/user/.nix-profile/etc/profile.d/nix.sh \
 && nix-shell

linux/reproducibility/shell.nix

@@ -2,7 +2,6 @@
 with pkgs;
 
 stdenvNoCC.mkDerivation {
-  inherit ipp_crypto asldobjdump;
   name = "sgx-build-nix";
   buildInputs = [
     autoconf