Replace shell.nix with a flake devShell attribute

Created by  Eelco Dolstra  on May 8, 2019
2IGIDHNAMXYPMJDDLXXQOTUXBBA5CVJB3CRFCBZUG77EOBCXUOUAC
Change contents